Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
940 workflow runs
940 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Strong Completeness of Normal Modal Logic CI #147: Pull request #15 synchronize by SnO2WMaN
January 26, 2024 10:49 2m 58s SnO2WMaN:completeness
SnO2WMaN:completeness
January 26, 2024 10:49 2m 58s
Strong Completeness of Normal Modal Logic CI #146: Pull request #15 synchronize by SnO2WMaN
January 25, 2024 11:22 2m 32s SnO2WMaN:completeness
SnO2WMaN:completeness
January 25, 2024 11:22 2m 32s
Strong Completeness of Normal Modal Logic CI #145: Pull request #15 synchronize by SnO2WMaN
January 25, 2024 11:13 1m 19s SnO2WMaN:completeness
SnO2WMaN:completeness
January 25, 2024 11:13 1m 19s
Strong Completeness of Normal Modal Logic CI #144: Pull request #15 synchronize by SnO2WMaN
January 25, 2024 11:08 3m 12s SnO2WMaN:completeness
SnO2WMaN:completeness
January 25, 2024 11:08 3m 12s
Strong Completeness of Normal Modal Logic CI #143: Pull request #15 synchronize by SnO2WMaN
January 25, 2024 09:42 4m 2s SnO2WMaN:completeness
SnO2WMaN:completeness
January 25, 2024 09:42 4m 2s
Strong Completeness of Normal Modal Logic CI #142: Pull request #15 synchronize by SnO2WMaN
January 25, 2024 07:07 2m 56s SnO2WMaN:completeness
SnO2WMaN:completeness
January 25, 2024 07:07 2m 56s
Strong Completeness of Normal Modal Logic CI #141: Pull request #15 synchronize by SnO2WMaN
January 24, 2024 12:11 3m 50s SnO2WMaN:completeness
SnO2WMaN:completeness
January 24, 2024 12:11 3m 50s
Strong Completeness of Normal Modal Logic CI #140: Pull request #15 synchronize by SnO2WMaN
January 23, 2024 21:17 2m 29s SnO2WMaN:completeness
SnO2WMaN:completeness
January 23, 2024 21:17 2m 29s
Strong Completeness of Normal Modal Logic CI #139: Pull request #15 synchronize by SnO2WMaN
January 23, 2024 18:45 3m 30s SnO2WMaN:completeness
SnO2WMaN:completeness
January 23, 2024 18:45 3m 30s
Strong Completeness of Normal Modal Logic CI #138: Pull request #15 synchronize by SnO2WMaN
January 23, 2024 08:44 5m 35s SnO2WMaN:completeness
SnO2WMaN:completeness
January 23, 2024 08:44 5m 35s
change(FirstOrder): Structure Inhabited → Nonempty Documents #33: Commit 50deed5 pushed by iehality
January 23, 2024 03:55 11m 10s master
master
January 23, 2024 03:55 11m 10s
change(FirstOrder): Structure Inhabited → Nonempty CI #137: Commit 50deed5 pushed by iehality
January 23, 2024 03:55 3m 48s master
master
January 23, 2024 03:55 3m 48s
refactor(FirstOrder/Arith) CI #136: Commit 0967e98 pushed by iehality
January 23, 2024 03:02 2m 18s master
master
January 23, 2024 03:02 2m 18s
refactor(FirstOrder/Arith) Documents #32: Commit 0967e98 pushed by iehality
January 23, 2024 03:02 10m 37s master
master
January 23, 2024 03:02 10m 37s
Merge branch 'master' of https://github.com/iehality/logic Documents #31: Commit 941b566 pushed by iehality
January 21, 2024 13:50 14m 7s master
master
January 21, 2024 13:50 14m 7s
Merge branch 'master' of https://github.com/iehality/logic CI #135: Commit 941b566 pushed by iehality
January 21, 2024 13:50 9m 19s master
master
January 21, 2024 13:50 9m 19s
Strong Completeness of Normal Modal Logic CI #134: Pull request #15 opened by SnO2WMaN
January 21, 2024 05:45 9m 12s SnO2WMaN:completeness
SnO2WMaN:completeness
January 21, 2024 05:45 9m 12s
Merge pull request #14 from SnO2WMaN/fix-modal-soundness Documents #30: Commit 6670b33 pushed by iehality
January 13, 2024 16:28 11m 0s master
master
January 13, 2024 16:28 11m 0s
Merge pull request #14 from SnO2WMaN/fix-modal-soundness CI #133: Commit 6670b33 pushed by iehality
January 13, 2024 16:28 2m 32s master
master
January 13, 2024 16:28 2m 32s
Fix modal logic definabilities and soundness theorem(s) CI #132: Pull request #14 synchronize by SnO2WMaN
January 13, 2024 15:53 1m 42s SnO2WMaN:fix-modal-soundness
SnO2WMaN:fix-modal-soundness
January 13, 2024 15:53 1m 42s
Fix modal logic definabilities and soundness theorem(s) CI #131: Pull request #14 synchronize by SnO2WMaN
January 13, 2024 15:48 2m 30s SnO2WMaN:fix-modal-soundness
SnO2WMaN:fix-modal-soundness
January 13, 2024 15:48 2m 30s
Fix modal logic definabilities and soundness theorem(s) CI #130: Pull request #14 synchronize by SnO2WMaN
January 13, 2024 15:47 45s SnO2WMaN:fix-modal-soundness
SnO2WMaN:fix-modal-soundness
January 13, 2024 15:47 45s
refactor(FirstOrder/Arith): refactor namespace CI #129: Commit dc663e9 pushed by iehality
January 9, 2024 10:15 1m 50s master
master
January 9, 2024 10:15 1m 50s
refactor(FirstOrder/Arith): refactor namespace Documents #29: Commit dc663e9 pushed by iehality
January 9, 2024 10:15 10m 25s master
master
January 9, 2024 10:15 10m 25s
feat(FirstOrder): qfree/Open Documents #28: Commit ea5f92d pushed by iehality
January 9, 2024 01:48 10m 43s master
master
January 9, 2024 01:48 10m 43s
ProTip! You can narrow down the results and go further in time using created:<2024-01-09 or the other filters available.