Skip to content

Actions: FormalizedFormalLogic/Incompleteness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4 from FormalizedFormalLogic/update-4.13 CI #23: Commit ebafa2a pushed by iehality
October 31, 2024 17:43 14m 5s master
master
October 31, 2024 17:43 14m 5s
chore: Update to 4.13 CI #22: Pull request #4 synchronize by iehality
October 31, 2024 16:23 14m 38s update-4.13
update-4.13
October 31, 2024 16:23 14m 38s
refactor/ci: change package name and fix (#3) CI #21: Commit a8ad9e0 pushed by SnO2WMaN
October 15, 2024 03:58 49m 2s master
master
October 15, 2024 03:58 49m 2s
refactor/ci: change package name and fix CI #20: Pull request #3 synchronize by SnO2WMaN
October 15, 2024 03:44 14m 7s rename
rename
October 15, 2024 03:44 14m 7s
refactor/ci: change package name and fix CI #19: Pull request #3 opened by SnO2WMaN
October 15, 2024 03:37 7m 38s rename
rename
October 15, 2024 03:37 7m 38s
feat: multidiagonal CI #18: Commit 7f9d87b pushed by iehality
October 9, 2024 20:06 23m 33s master
master
October 9, 2024 20:06 23m 33s
refactor CI #17: Commit 622ebb7 pushed by iehality
September 14, 2024 15:06 17m 22s master
master
September 14, 2024 15:06 17m 22s
refactor CI #16: Commit 77c9fbb pushed by iehality
September 14, 2024 14:33 18m 7s master
master
September 14, 2024 14:33 18m 7s
revise notations CI #15: Commit e99da1e pushed by iehality
September 14, 2024 14:30 3m 11s master
master
September 14, 2024 14:30 3m 11s
Create LICENSE CI #14: Commit 92c96f6 pushed by iehality
September 8, 2024 19:16 5m 32s master
master
September 8, 2024 19:16 5m 32s
Arithmetical Completeness of 𝐆𝐋 Part.1 CI #13: Pull request #2 synchronize by SnO2WMaN
September 7, 2024 02:21 2m 52s arithmetic-completeness-pt1
arithmetic-completeness-pt1
September 7, 2024 02:21 2m 52s
Arithmetical Completeness of 𝐆𝐋 Part.1 CI #12: Pull request #2 opened by SnO2WMaN
September 6, 2024 07:26 3m 22s arithmetic-completeness-pt1
arithmetic-completeness-pt1
September 6, 2024 07:26 3m 22s
Refactor Provability Predicate and Arithmetical Soundness (#1) CI #11: Commit 6b203f9 pushed by SnO2WMaN
September 6, 2024 06:58 5m 33s master
master
September 6, 2024 06:58 5m 33s
Refactor Provability Predicate and Arithmetical Soundness CI #10: Pull request #1 synchronize by SnO2WMaN
September 6, 2024 06:54 2m 34s provability-logic
provability-logic
September 6, 2024 06:54 2m 34s
Refactor Provability Predicate and Arithmetical Soundness CI #9: Pull request #1 synchronize by SnO2WMaN
September 6, 2024 01:30 2m 32s provability-logic
provability-logic
September 6, 2024 01:30 2m 32s
update CI #8: Commit 773fd52 pushed by iehality
September 5, 2024 04:16 4m 50s master
master
September 5, 2024 04:16 4m 50s
Refactor Provability Predicate and Arithmetical Soundness CI #7: Pull request #1 synchronize by SnO2WMaN
September 5, 2024 02:21 2m 38s provability-logic
provability-logic
September 5, 2024 02:21 2m 38s
Refactor Provability Predicate and Arithmetical Soundness CI #6: Pull request #1 opened by SnO2WMaN
September 5, 2024 02:17 42s provability-logic
provability-logic
September 5, 2024 02:17 42s
update CI #5: Commit 6b5e0b9 pushed by iehality
September 4, 2024 15:47 2m 13s master
master
September 4, 2024 15:47 2m 13s
add: ModalLogic CI #4: Commit 1fea020 pushed by iehality
September 4, 2024 15:37 1m 58s master
master
September 4, 2024 15:37 1m 58s
fix CI #3: Commit 8fba6e1 pushed by iehality
September 4, 2024 13:19 28s master
master
September 4, 2024 13:19 28s
fix CI #2: Commit 29a5802 pushed by iehality
September 4, 2024 13:08 2m 7s main
main
September 4, 2024 13:08 2m 7s
CI CI #1: Manually run by iehality
September 4, 2024 06:50 5s main
main
September 4, 2024 06:50 5s