Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
973 workflow runs
973 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to v4.16.0-rc2 (#184) CI #861: Commit 54324e6 pushed by SnO2WMaN
January 24, 2025 02:15 6m 52s master
master
January 24, 2025 02:15 6m 52s
Update to v4.16.0-rc2 CI #860: Pull request #184 synchronize by SnO2WMaN
January 24, 2025 02:07 6m 26s update-v4.16.0-rc2
update-v4.16.0-rc2
January 24, 2025 02:07 6m 26s
Update to v4.16.0-rc2 CI #859: Pull request #184 opened by iehality
January 23, 2025 13:08 5m 38s update-v4.16.0-rc2
update-v4.16.0-rc2
January 23, 2025 13:08 5m 38s
Update Update #11: Scheduled
January 19, 2025 08:10 1m 55s master
master
January 19, 2025 08:10 1m 55s
Update Update #10: Scheduled
January 12, 2025 08:11 9m 19s master
master
January 12, 2025 08:11 9m 19s
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