Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
985 workflow runs
985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update Update #5: Scheduled
December 8, 2024 08:12 5m 57s master
master
December 8, 2024 08:12 5m 57s
feat(Modal): Kripke Incompleteness of πŠπ‡ CI #837: Pull request #110 synchronize by SnO2WMaN
December 8, 2024 08:10 3m 32s KH-incompleteness
KH-incompleteness
December 8, 2024 08:10 3m 32s
feat(Modal): Full Strength Analysis of Modal Cube Part.1 (#171) CI #836: Commit 7546c6f pushed by SnO2WMaN
December 7, 2024 10:40 3m 10s master
master
December 7, 2024 10:40 3m 10s
feat(Modal): Full Strength Analysis of Modal Cube Part.1 CI #835: Pull request #171 synchronize by SnO2WMaN
December 7, 2024 10:30 2m 52s modal-cube
modal-cube
December 7, 2024 10:30 2m 52s
feat(Modal): Full Strength Analysis of Modal Cube Part.1 CI #834: Pull request #171 synchronize by SnO2WMaN
December 7, 2024 03:42 3m 5s modal-cube
modal-cube
December 7, 2024 03:42 3m 5s
feat(Modal): Full Strength Analysis of Modal Cube Part.1 CI #833: Pull request #171 synchronize by SnO2WMaN
December 7, 2024 02:22 2m 57s modal-cube
modal-cube
December 7, 2024 02:22 2m 57s
update to v4.14.0 (#173) CI #832: Commit e23fbb9 pushed by iehality
December 2, 2024 02:40 5m 53s master
master
December 2, 2024 02:40 5m 53s
Update to v4.14.0 CI #831: Pull request #173 opened by iehality
December 2, 2024 02:16 5m 49s update-v4.14.0
update-v4.14.0
December 2, 2024 02:16 5m 49s