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

feat(FirstOrder): qfree/Open CI #128: Commit ea5f92d pushed by iehality
January 9, 2024 01:48 4m 41s master
master
January 9, 2024 01:48 4m 41s
remove(FirstOrder): Definable Documents #27: Commit 0b9211b pushed by iehality
January 8, 2024 21:56 10m 36s master
master
January 8, 2024 21:56 10m 36s
remove(FirstOrder): Definable CI #127: Commit 0b9211b pushed by iehality
January 8, 2024 21:56 3m 29s master
master
January 8, 2024 21:56 3m 29s
remove PolyBounded Documents #26: Commit 0f5d257 pushed by iehality
January 8, 2024 15:03 10m 27s master
master
January 8, 2024 15:03 10m 27s
remove PolyBounded CI #126: Commit 0f5d257 pushed by iehality
January 8, 2024 15:03 1m 45s master
master
January 8, 2024 15:03 1m 45s
remove definability CI #125: Commit cad7a42 pushed by iehality
January 8, 2024 14:57 4m 16s master
master
January 8, 2024 14:57 4m 16s
remove definability Documents #25: Commit cad7a42 pushed by iehality
January 8, 2024 14:57 10m 44s master
master
January 8, 2024 14:57 10m 44s
update Summary Documents #24: Commit 38d00d6 pushed by iehality
January 7, 2024 18:41 10m 42s master
master
January 7, 2024 18:41 10m 42s
update Summary CI #124: Commit 38d00d6 pushed by iehality
January 7, 2024 18:41 1m 47s master
master
January 7, 2024 18:41 1m 47s
change(FirstOrder/Arith): succInd Documents #23: Commit 423f64c pushed by iehality
January 7, 2024 18:11 10m 51s master
master
January 7, 2024 18:11 10m 51s
change(FirstOrder/Arith): succInd CI #123: Commit 423f64c pushed by iehality
January 7, 2024 18:11 4m 51s master
master
January 7, 2024 18:11 4m 51s
update dependencies Documents #22: Commit a798669 pushed by iehality
January 7, 2024 15:45 10m 59s master
master
January 7, 2024 15:45 10m 59s
update dependencies CI #122: Commit a798669 pushed by iehality
January 7, 2024 15:45 5m 41s master
master
January 7, 2024 15:45 5m 41s
feat(FirstOrder/Arith): Hierarchy2 CI #121: Commit f188e9c pushed by iehality
January 7, 2024 13:42 5m 14s master
master
January 7, 2024 13:42 5m 14s
feat(FirstOrder/Arith): Hierarchy2 Documents #21: Commit f188e9c pushed by iehality
January 7, 2024 13:42 10m 54s master
master
January 7, 2024 13:42 10m 54s
feat(FirstOrder/Arith): Definability in 𝐏𝐀⁻ CI #120: Commit 4ad9bd6 pushed by iehality
January 5, 2024 19:55 3m 33s master
master
January 5, 2024 19:55 3m 33s
feat(FirstOrder/Arith): Definability in 𝐏𝐀⁻ Documents #20: Commit 4ad9bd6 pushed by iehality
January 5, 2024 19:55 10m 37s master
master
January 5, 2024 19:55 10m 37s
Fix modal logic definabilities and soundness theorem(s) CI #119: Pull request #14 synchronize by SnO2WMaN
January 5, 2024 19:17 5m 5s SnO2WMaN:fix-modal-soundness
SnO2WMaN:fix-modal-soundness
January 5, 2024 19:17 5m 5s
Fix modal logic definabilities and soundness theorem(s) CI #118: Pull request #14 synchronize by SnO2WMaN
January 5, 2024 19:04 4m 15s SnO2WMaN:fix-modal-soundness
SnO2WMaN:fix-modal-soundness
January 5, 2024 19:04 4m 15s
Fix modal logic definabilities and soundness theorem(s) CI #117: Pull request #14 synchronize by SnO2WMaN
January 5, 2024 18:52 4m 20s SnO2WMaN:fix-modal-soundness
SnO2WMaN:fix-modal-soundness
January 5, 2024 18:52 4m 20s
feat(FirstOrder): Definable Documents #19: Commit 8818551 pushed by iehality
January 5, 2024 13:04 10m 38s master
master
January 5, 2024 13:04 10m 38s
feat(FirstOrder): Definable CI #116: Commit 8818551 pushed by iehality
January 5, 2024 13:04 3m 29s master
master
January 5, 2024 13:04 3m 29s
update README Documents #18: Commit 06de8de pushed by iehality
January 5, 2024 09:35 10m 44s master
master
January 5, 2024 09:35 10m 44s
update README CI #115: Commit 06de8de pushed by iehality
January 5, 2024 09:35 4m 17s master
master
January 5, 2024 09:35 4m 17s
refactor CI #114: Commit 078a626 pushed by iehality
January 5, 2024 08:30 4m 47s master
master
January 5, 2024 08:30 4m 47s
ProTip! You can narrow down the results and go further in time using created:<2024-01-05 or the other filters available.