Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
968 workflow runs
968 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Update #9: Scheduled
January 5, 2025 08:11 8m 49s master
master
January 5, 2025 08:11 8m 49s
refactor: Remove duplicate definition of Antisymmetric (#183) CI #858: Commit 0325e10 pushed by SnO2WMaN
January 1, 2025 23:41 3m 58s master
master
January 1, 2025 23:41 3m 58s
refactor(IntProp): Remove flexible simp in Hetring Semantics (#182) CI #857: Commit 8fbf6d7 pushed by SnO2WMaN
January 1, 2025 21:33 1m 28s master
master
January 1, 2025 21:33 1m 28s
refactor: Remove duplicate definition of Antisymmetric CI #856: Pull request #183 opened by SnO2WMaN
January 1, 2025 21:33 3m 37s remove-antisym
remove-antisym
January 1, 2025 21:33 3m 37s
refactor(IntProp): Remove flexible simp in Hetring Semantics CI #855: Pull request #182 opened by SnO2WMaN
January 1, 2025 21:29 1m 53s refactor-heyting-intprop
refactor-heyting-intprop
January 1, 2025 21:29 1m 53s
feat(Modal): Independency of consistency is undecidable in GL (#181) CI #854: Commit 830d76e pushed by SnO2WMaN
January 1, 2025 11:45 4m 47s master
master
January 1, 2025 11:45 4m 47s
feat(Modal): Independency of consistency is undecidable in GL CI #853: Pull request #181 opened by SnO2WMaN
January 1, 2025 11:40 5m 15s GL-independency
GL-independency
January 1, 2025 11:40 5m 15s
ci: Change behavior when auto-update failed (#180) CI #852: Commit d426264 pushed by SnO2WMaN
December 31, 2024 06:45 1m 45s master
master
December 31, 2024 06:45 1m 45s
ci: Change behavior when auto-update failed CI #851: Pull request #180 opened by SnO2WMaN
December 31, 2024 06:43 1m 30s prevent-create-issue-update
prevent-create-issue-update
December 31, 2024 06:43 1m 30s
[create-pull-request] automated change (#179) CI #850: Commit 5d7d34c pushed by SnO2WMaN
December 29, 2024 09:49 1m 54s master
master
December 29, 2024 09:49 1m 54s
Update Update #8: Scheduled
December 29, 2024 08:12 6m 43s master
master
December 29, 2024 08:12 6m 43s
Updates dependencies (#178) CI #849: Commit 882430c pushed by iehality
December 22, 2024 19:54 6m 46s master
master
December 22, 2024 19:54 6m 46s
chore: Updates dependencies CI #848: Pull request #178 opened by SnO2WMaN
December 22, 2024 11:42 6m 23s SnO2WMaN/issue177
SnO2WMaN/issue177
December 22, 2024 11:42 6m 23s
Update Update #7: Scheduled
December 22, 2024 08:11 1m 47s master
master
December 22, 2024 08:11 1m 47s
refactor(FirstOrder): binder-notation CI #847: Commit 1b6aca1 pushed by iehality
December 18, 2024 20:14 3m 2s master
master
December 18, 2024 20:14 3m 2s
refactor(FirstOrder): Calculus CI #846: Commit fe38af5 pushed by iehality
December 18, 2024 18:57 3m 23s master
master
December 18, 2024 18:57 3m 23s
[create-pull-request] automated change (#176) CI #845: Commit d612984 pushed by SnO2WMaN
December 15, 2024 22:35 1m 47s master
master
December 15, 2024 22:35 1m 47s
Update Update #6: Scheduled
December 15, 2024 08:12 6m 44s master
master
December 15, 2024 08:12 6m 44s
update v.15.0-rc1 (#175) CI #844: Commit d5a5b56 pushed by iehality
December 12, 2024 09:46 6m 44s master
master
December 12, 2024 09:46 6m 44s
Update v.15.0-rc1 CI #843: Pull request #175 opened by iehality
December 12, 2024 09:38 6m 48s update-v4.15.0-rc1
update-v4.15.0-rc1
December 12, 2024 09:38 6m 48s
fix(FirstOrder): Sigma1Sound CI #842: Commit 9033902 pushed by iehality
December 12, 2024 08:55 1m 59s master
master
December 12, 2024 08:55 1m 59s
add Foundation CI #841: Commit cca37b3 pushed by iehality
December 8, 2024 17:42 2m 6s master
master
December 8, 2024 17:42 2m 6s
Algebraic hauptsatz (#170) CI #840: Commit 12f31f3 pushed by iehality
December 8, 2024 17:37 3m 29s master
master
December 8, 2024 17:37 3m 29s
Algebraic hauptsatz CI #839: Pull request #170 synchronize by iehality
December 8, 2024 17:31 1m 46s algebraic-hauptsatz
algebraic-hauptsatz
December 8, 2024 17:31 1m 46s
Algebraic hauptsatz CI #838: Pull request #170 synchronize by iehality
December 8, 2024 17:20 4m 1s algebraic-hauptsatz
algebraic-hauptsatz
December 8, 2024 17:20 4m 1s