Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
951 workflow runs
951 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add K4Dot2, K4Dot3 (#215) CI #941: Commit 72be6b0 pushed by SnO2WMaN
March 1, 2025 07:44 4m 9s master
master
March 1, 2025 07:44 4m 9s
Add K4Dot2, K4Dot3 CI #940: Pull request #215 synchronize by SnO2WMaN
March 1, 2025 07:40 2m 51s weakdot
weakdot
March 1, 2025 07:40 2m 51s
Add K4Dot2, K4Dot3 CI #939: Pull request #215 synchronize by SnO2WMaN
February 28, 2025 14:26 4m 7s weakdot
weakdot
February 28, 2025 14:26 4m 7s
Maximal Consistent Tableau for Modal Logic (#214) CI #938: Commit ace0c46 pushed by SnO2WMaN
February 28, 2025 14:14 3m 54s master
master
February 28, 2025 14:14 3m 54s
Maximal Consistent Tableau for Modal Logic CI #937: Pull request #214 synchronize by SnO2WMaN
February 28, 2025 14:09 4m 1s modal-consistent-tableau
modal-consistent-tableau
February 28, 2025 14:09 4m 1s
Add K4Dot2, K4Dot3 CI #936: Pull request #215 opened by SnO2WMaN
February 28, 2025 06:26 4m 11s weakdot
weakdot
February 28, 2025 06:26 4m 11s
Maximal Consistent Tableau for Modal Logic CI #935: Pull request #214 opened by SnO2WMaN
February 27, 2025 12:45 3m 48s modal-consistent-tableau
modal-consistent-tableau
February 27, 2025 12:45 3m 48s
Update Update #16: Scheduled
February 23, 2025 08:12 5m 19s master
master
February 23, 2025 08:12 5m 19s
Add K4.1 and S4.1 CI #934: Pull request #212 opened by SnO2WMaN
February 18, 2025 21:16 3m 34s mckinsey-axiom
mckinsey-axiom
February 18, 2025 21:16 3m 34s
Add Grz.2 and Grz.3 CI #933: Pull request #211 opened by SnO2WMaN
February 17, 2025 06:46 3m 5s SnO2WMaN/issue207
SnO2WMaN/issue207
February 17, 2025 06:46 3m 5s
Add KB4 ⊂ KTc (#210) CI #932: Commit 94d1821 pushed by SnO2WMaN
February 16, 2025 19:52 1m 52s master
master
February 16, 2025 19:52 1m 52s
Add KB4 ⊂ KTc CI #931: Pull request #210 opened by SnO2WMaN
February 16, 2025 19:49 2m 7s KB4-subset-KTc
KB4-subset-KTc
February 16, 2025 19:49 2m 7s
Update to v4.17.0-rc1 (#209) CI #930: Commit 25f7d64 pushed by iehality
February 16, 2025 17:15 6m 53s master
master
February 16, 2025 17:15 6m 53s
Update to v4.17.0-rc1 CI #929: Pull request #209 synchronize by iehality
February 16, 2025 17:07 7m 16s Update-4.17rc-1
Update-4.17rc-1
February 16, 2025 17:07 7m 16s
Update to v4.17.0-rc1 CI #928: Pull request #209 synchronize by iehality
February 16, 2025 17:05 1m 59s Update-4.17rc-1
Update-4.17rc-1
February 16, 2025 17:05 1m 59s
Update to v4.17.0-rc1 CI #927: Pull request #209 synchronize by SnO2WMaN
February 16, 2025 12:18 7m 25s Update-4.17rc-1
Update-4.17rc-1
February 16, 2025 12:18 7m 25s
Update to v4.17.0-rc1 CI #926: Pull request #209 opened by SnO2WMaN
February 16, 2025 12:12 5m 32s Update-4.17rc-1
Update-4.17rc-1
February 16, 2025 12:12 5m 32s
Add Modal Logic KTc (#208) CI #925: Commit 662eaae pushed by SnO2WMaN
February 16, 2025 10:46 3m 3s master
master
February 16, 2025 10:46 3m 3s
Add Modal Logic KTc CI #924: Pull request #208 synchronize by SnO2WMaN
February 16, 2025 10:38 3m 1s SnO2WMaN/issue206
SnO2WMaN/issue206
February 16, 2025 10:38 3m 1s
Update Update #15: Scheduled
February 16, 2025 08:11 3m 31s master
master
February 16, 2025 08:11 3m 31s
Add Trivial Modal Logics, Empty and Univ (#205) CI #923: Commit 4f2f6d4 pushed by SnO2WMaN
February 15, 2025 06:48 1m 52s master
master
February 15, 2025 06:48 1m 52s
Add Trivial Modal Logics, Empty and Univ CI #922: Pull request #205 synchronize by SnO2WMaN
February 15, 2025 06:42 1m 54s trivial-modal-logic-sublogics
trivial-modal-logic-sublogics
February 15, 2025 06:42 1m 54s
Add Trivial Modal Logics, Empty and Univ CI #921: Pull request #205 opened by SnO2WMaN
February 15, 2025 06:26 2m 1s trivial-modal-logic-sublogics
trivial-modal-logic-sublogics
February 15, 2025 06:26 2m 1s
refactor(FirstOrder): WeakerThan CI #920: Commit 2b158b5 pushed by iehality
February 14, 2025 18:07 6m 6s master
master
February 14, 2025 18:07 6m 6s
feat(FirstOrder): Finite theory (#204) CI #919: Commit a668f38 pushed by iehality
February 14, 2025 16:23 5m 5s master
master
February 14, 2025 16:23 5m 5s