Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
972 workflow runs
972 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(FirstOrder, IntFO): Re-Redefine Rew (#167) CI #819: Commit 51d0833 pushed by iehality
November 24, 2024 05:19 4m 23s master
master
November 24, 2024 05:19 4m 23s
Re-Redefine Rew CI #818: Pull request #167 synchronize by iehality
November 24, 2024 05:16 1m 26s re-redefine-rew
re-redefine-rew
November 24, 2024 05:16 1m 26s
Re-Redefine Rew CI #817: Pull request #167 synchronize by iehality
November 24, 2024 05:09 3m 57s re-redefine-rew
re-redefine-rew
November 24, 2024 05:09 3m 57s
Re-Redefine Rew CI #816: Pull request #167 opened by iehality
November 23, 2024 13:45 2m 9s re-redefine-rew
re-redefine-rew
November 23, 2024 13:45 2m 9s
feat(Modal): Add negation form formula (#164) CI #815: Commit 1f10809 pushed by SnO2WMaN
November 20, 2024 10:21 1m 33s master
master
November 20, 2024 10:21 1m 33s
feat(Modal): Add negation form formula CI #814: Pull request #164 synchronize by SnO2WMaN
November 20, 2024 10:10 2m 1s modal-nnformula
modal-nnformula
November 20, 2024 10:10 2m 1s
feat(Modal): Add negation form formula CI #813: Pull request #164 synchronize by SnO2WMaN
November 20, 2024 08:47 1m 33s modal-nnformula
modal-nnformula
November 20, 2024 08:47 1m 33s
feat(Modal): Add negation form formula CI #812: Pull request #164 synchronize by SnO2WMaN
November 20, 2024 05:44 1m 59s modal-nnformula
modal-nnformula
November 20, 2024 05:44 1m 59s
feat(Modal): Add substitution (#166) CI #811: Commit 27a26fe pushed by SnO2WMaN
November 20, 2024 03:00 2m 44s master
master
November 20, 2024 03:00 2m 44s
feat(Modal): Add substitution CI #810: Pull request #166 opened by SnO2WMaN
November 20, 2024 02:55 2m 44s modal-subst
modal-subst
November 20, 2024 02:55 2m 44s
Refactor on Modal Logic GL (#163) CI #809: Commit 75a11cc pushed by SnO2WMaN
November 19, 2024 14:59 2m 20s master
master
November 19, 2024 14:59 2m 20s
Refactor on Modal Logic GL CI #808: Pull request #163 synchronize by SnO2WMaN
November 19, 2024 14:29 2m 28s modal-refactor-1
modal-refactor-1
November 19, 2024 14:29 2m 28s
feat(Modal): Kripke Incompleteness of πŠπ‡ CI #807: Pull request #110 synchronize by SnO2WMaN
November 17, 2024 12:45 2m 54s KH-incompleteness
KH-incompleteness
November 17, 2024 12:45 2m 54s
[create-pull-request] automated change (#165) CI #806: Commit 74973d4 pushed by SnO2WMaN
November 17, 2024 12:14 1m 22s master
master
November 17, 2024 12:14 1m 22s
Update Update #2: Scheduled
November 17, 2024 08:12 5m 51s master
master
November 17, 2024 08:12 5m 51s
feat(Modal): Add negation form formula CI #805: Pull request #164 synchronize by SnO2WMaN
November 15, 2024 01:13 1m 33s modal-nnformula
modal-nnformula
November 15, 2024 01:13 1m 33s
feat(Modal): Add negation form formula CI #804: Pull request #164 opened by SnO2WMaN
November 14, 2024 04:30 1m 55s modal-nnformula
modal-nnformula
November 14, 2024 04:30 1m 55s
feat(Modal): Kripke Incompleteness of πŠπ‡ CI #803: Pull request #110 synchronize by SnO2WMaN
November 14, 2024 04:03 3m 3s KH-incompleteness
KH-incompleteness
November 14, 2024 04:03 3m 3s
Refactor on Modal Logic GL CI #802: Pull request #163 opened by SnO2WMaN
November 13, 2024 18:32 2m 32s modal-refactor-1
modal-refactor-1
November 13, 2024 18:32 2m 32s
Update to v4.14.0-rc2 (#161) CI #801: Commit a4e7586 pushed by SnO2WMaN
November 12, 2024 02:17 5m 34s master
master
November 12, 2024 02:17 5m 34s
Update to v4.14.0-rc2 CI #800: Pull request #161 synchronize by SnO2WMaN
November 12, 2024 02:11 5m 53s update-latest
update-latest
November 12, 2024 02:11 5m 53s
Update to v4.14.0-rc2 (FirstOrder, Propositional, IntFO) CI #799: Pull request #162 synchronize by iehality
November 12, 2024 01:50 6m 25s update-latest-fo
update-latest-fo
November 12, 2024 01:50 6m 25s
Update to v4.14.0-rc2 (FirstOrder, Propositional, IntFO) CI #798: Pull request #162 opened by iehality
November 12, 2024 01:37 5m 8s update-latest-fo
update-latest-fo
November 12, 2024 01:37 5m 8s
Update to v4.14.0-rc2 CI #797: Pull request #161 synchronize by SnO2WMaN
November 11, 2024 19:13 4m 3s update-latest
update-latest
November 11, 2024 19:13 4m 3s
Update to v4.14.0-rc2 CI #796: Pull request #161 synchronize by SnO2WMaN
November 11, 2024 19:01 3m 55s update-latest
update-latest
November 11, 2024 19:01 3m 55s