Skip to content

Actions: FormalizedFormalLogic/Incompleteness

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update CI #42: Commit 92025de pushed by iehality
January 24, 2025 12:11 14m 49s master
master
January 24, 2025 12:11 14m 49s
[create-pull-request] automated change (#20) CI #41: Commit 20f1429 pushed by SnO2WMaN
January 12, 2025 15:04 2m 13s master
master
January 12, 2025 15:04 2m 13s
chore: Update dependency (#19) CI #40: Commit 54f36dd pushed by SnO2WMaN
December 31, 2024 07:37 13m 32s master
master
December 31, 2024 07:37 13m 32s
ci: Change behavior when auto-update failed (#18) CI #39: Commit 1c1270f pushed by SnO2WMaN
December 31, 2024 07:19 14m 25s master
master
December 31, 2024 07:19 14m 25s
chore: Update dependency CI #38: Pull request #19 opened by SnO2WMaN
December 31, 2024 07:18 13m 26s update
update
December 31, 2024 07:18 13m 26s
ci: Change behavior when auto-update failed CI #37: Pull request #18 opened by SnO2WMaN
December 31, 2024 06:45 13m 47s auto-update-behavior
auto-update-behavior
December 31, 2024 06:45 13m 47s
Merge pull request #13 from FormalizedFormalLogic/auto-update/patch-a… CI #36: Commit a20b92a pushed by iehality
December 12, 2024 10:00 1m 26s master
master
December 12, 2024 10:00 1m 26s
feat(ProvabilityLogic): Arithmetical Completeness of GL Part.1 CI #35: Pull request #2 synchronize by SnO2WMaN
December 9, 2024 05:44 2m 9s arithmetic-completeness-pt1
arithmetic-completeness-pt1
December 9, 2024 05:44 2m 9s
feat(ProvabilityLogic): Arithmetical Completeness of GL Part.1 CI #34: Pull request #2 synchronize by SnO2WMaN
December 8, 2024 23:34 1m 59s arithmetic-completeness-pt1
arithmetic-completeness-pt1
December 8, 2024 23:34 1m 59s
feat(ProvabilityLogic): Arithmetical Completeness of GL Part.1 CI #33: Pull request #2 synchronize by SnO2WMaN
December 8, 2024 14:01 14m 8s arithmetic-completeness-pt1
arithmetic-completeness-pt1
December 8, 2024 14:01 14m 8s
Merge pull request #12 from FormalizedFormalLogic/auto-update/patch-p… CI #32: Commit c9663fa pushed by iehality
December 1, 2024 10:49 1m 53s master
master
December 1, 2024 10:49 1m 53s
Update Arithmetization (Foundation) (#11) CI #31: Commit 57edda8 pushed by SnO2WMaN
November 28, 2024 12:52 13m 48s master
master
November 28, 2024 12:52 13m 48s
Update Arithmetization (Foundation) CI #30: Pull request #11 opened by SnO2WMaN
November 28, 2024 12:29 14m 4s update
update
November 28, 2024 12:29 14m 4s
update Arithmetization @ de211f4 (#9) CI #29: Commit 4953e95 pushed by SnO2WMaN
November 28, 2024 06:29 13m 27s master
master
November 28, 2024 06:29 13m 27s
update Arithmetization @ de211f4 CI #28: Pull request #9 synchronize by SnO2WMaN
November 28, 2024 06:08 13m 51s update-488755
update-488755
November 28, 2024 06:08 13m 51s
update Arithmetization @ de211f4 CI #27: Pull request #9 synchronize by iehality
November 27, 2024 16:38 13m 34s update-488755
update-488755
November 27, 2024 16:38 13m 34s
[create-pull-request] automated change (#6) CI #26: Commit 5b497ea pushed by SnO2WMaN
November 17, 2024 11:38 1m 52s master
master
November 17, 2024 11:38 1m 52s
Add auto update CI #25: Commit d16e36c pushed by SnO2WMaN
November 10, 2024 13:42 1m 55s master
master
November 10, 2024 13:42 1m 55s
add sponsor CI #24: Commit 6e4c2d9 pushed by iehality
November 8, 2024 17:04 14m 7s master
master
November 8, 2024 17:04 14m 7s
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