8000 Workflow runs · FormalizedFormalLogic/Foundation · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,094 workflow runs
1,094 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add(Prop): Logic of Bounded Depth and Infinite Superintuitionistic Logics CI #1244: Pull request #339 synchronize by SnO2WMaN
May 6, 2025 02:16 24m 20s bounded-depth
bounded-depth
May 6, 2025 02:16 24m 20s
add(Prop): Logic of Bounded Depth and Infinite Superintuitionistic Logics CI #1243: Pull request #339 opened by SnO2WMaN
May 6, 2025 02:16 5s bounded-depth
bounded-depth
May 6, 2025 02:16 5s
add(Prop/Kripke): Kripke Completeness of Kriesel-Putnam Logic (#337) CI #1242: Commit 1282562 pushed by SnO2WMaN
May 4, 2025 12:00 23m 49s master
master
May 4, 2025 12:00 23m 49s
add(Prop/Kripke): Kripke Completeness of Kriesel-Putnam Logic CI #1241: Pull request #337 synchronize by SnO2WMaN
May 4, 2025 11:16 21m 20s Kriesel-Putnam
Kriesel-Putnam
May 4, 2025 11:16 21m 20s
change(Prop): Finset-based Consistent Tableaux (#338) CI #1240: Commit 414eabf pushed by SnO2WMaN
May 3, 2025 14:10 24m 27s master
master
May 3, 2025 14:10 24m 27s
change(Prop): Finset-based Consistent Tableaux CI #1239: Pull request #338 synchronize by SnO2WMaN
May 3, 2025 13:48 21m 19s intprop-finset-tableau
intprop-finset-tableau
May 3, 2025 13:48 21m 19s
change(Prop): Finset-based Consistent Tableaux CI #1238: Pull request #338 opened by SnO2WMaN
May 3, 2025 13:20 23m 20s intprop-finset-tableau
intprop-finset-tableau
May 3, 2025 13:20 23m 20s
chore: Update to v4.19.0 (FirstOrder) CI #1237: Pull request #333 synchronize by iehality
May 2, 2025 18:24 17m 56s palalansouki/update-to-v4.19.0-rc2
palalansouki/update-to-v4.19.0-rc2
May 2, 2025 18:24 17m 56s
chore: Update to v4.19.0 (FirstOrder) Check dependencies consistency #9: Pull request #333 synchronize by iehality
May 2, 2025 18:24 12s palalansouki/update-to-v4.19.0-rc2
palalansouki/update-to-v4.19.0-rc2
May 2, 2025 18:24 12s
chore: Update to v4.19.0 (FirstOrder) Check dependencies consistency #8: Pull request #333 synchronize by iehality
May 2, 2025 18:17 13s palalansouki/update-to-v4.19.0-rc2
palalansouki/update-to-v4.19.0-rc2
May 2, 2025 18:17 13s
chore: Update to v4.19.0 (FirstOrder) CI #1236: Pull request #333 synchronize by iehality
May 2, 2025 18:17 7m 31s palalansouki/update-to-v4.19.0-rc2
palalansouki/update-to-v4.19.0-rc2
May 2, 2025 18:17 7m 31s
add(Prop/Kripke): Kripke Completeness of Kriesel-Putnam Logic CI #1235: Pull request #337 opened by SnO2WMaN
May 2, 2025 05:33 23m 17s Kriesel-Putnam
Kriesel-Putnam
May 2, 2025 05:33 23m 17s
feat(Modal/Kripke): Add Kripke Completeness of Grz.2 (#270) CI #1234: Commit 4aabb16 pushed by SnO2WMaN
April 28, 2025 06:32 22m 10s master
master
April 28, 2025 06:32 22m 10s
feat(Modal/Kripke): Add Kripke Completeness of Grz.2 CI #1233: Pull request #270 synchronize by SnO2WMaN
April 28, 2025 06:27 4m 19s SnO2WMaN/issue263
SnO2WMaN/issue263
April 28, 2025 06:27 4m 19s
feat(Modal/Kripke): Add Kripke Completeness of Grz.2 CI #1232: Pull request #270 synchronize by SnO2WMaN
April 28, 2025 06:22 4m 58s SnO2WMaN/issue263
SnO2WMaN/issue263
April 28, 2025 06:22 4m 58s
feat(Modal/Kripke): Add Kripke Completeness of Grz.2 CI #1231: Pull request #270 synchronize by SnO2WMaN
April 28, 2025 01:10 24m 0s SnO2WMaN/issue263
SnO2WMaN/issue263
April 28, 2025 01:10 24m 0s
feat(FirstOrder/Arith): Arithmetical hierarchy is equivalent to strict arithmetical hierarchy CI #1230: Pull request #336 opened by iehality
April 26, 2025 14:18 23m 8s strict-hierarchy
strict-hierarchy
April 26, 2025 14:18 23m 8s
add(Modal/Kripke): Soundness of KT4.3Z (#335) CI #1229: Commit 950a664 pushed by SnO2WMaN
April 26, 2025 11:52 22m 54s master
master
April 26, 2025 11:52 22m 54s
add(Modal/Kripke): Soundness of KT4.3Z CI #1228: Pull request #335 synchronize by SnO2WMaN
April 26, 2025 11:28 23m 43s soundness-KT4Dot3Z
soundness-KT4Dot3Z
April 26, 2025 11:28 23m 43s
add(Modal/Kripke): Cluster, Skeleton, Linear Frames (#334) CI #1227: Commit fd10676 pushed by SnO2WMaN
April 26, 2025 00:19 23m 5s master
master
April 26, 2025 00:19 23m 5s
add(Modal/Kripke): Cluster, Skeleton, Linear Frames CI #1226: Pull request #334 synchronize by SnO2WMaN
April 26, 2025 00:15 3m 59s frame-skeleton
frame-skeleton
April 26, 2025 00:15 3m 59s
add(Modal/Kripke): Cluster, Skeleton, Linear Frames CI #1225: Pull request #334 synchronize by SnO2WMaN
April 25, 2025 07:17 2m 39s frame-skeleton
frame-skeleton
April 25, 2025 07:17 2m 39s
add(Modal/Kripke): Cluster, Skeleton, Linear Frames CI #1224: Pull request #334 synchronize by SnO2WMaN
April 25, 2025 07:08 2m 45s frame-skeleton
frame-skeleton
April 25, 2025 07:08 2m 45s
add(Modal/Kripke): Cluster, Skeleton, Linear Frames CI #1223: Pull request #334 synchronize by SnO2WMaN
April 24, 2025 22:58 3m 5s frame-skeleton
frame-skeleton
April 24, 2025 22:58 3m 5s
add(Modal/Kripke): Cluster, Skeleton, Linear Frames CI #1222: Pull request #334 synchronize by SnO2WMaN
April 24, 2025 14:18 3m 24s frame-skeleton
frame-skeleton
April 24, 2025 14:18 3m 24s
0