Skip to content

Actions: FormalizedFormalLogic/Arithmetization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Update #1: Manually run by SnO2WMaN
November 18, 2024 04:12 4m 28s master
master
November 18, 2024 04:12 4m 28s
Merge pull request #7 from FormalizedFormalLogic/auto-update CI #112: Commit 7ff637c pushed by iehality
November 18, 2024 03:23 12m 52s master
master
November 18, 2024 03:23 12m 52s
Add auto-update CI #111: Pull request #7 opened by SnO2WMaN
November 17, 2024 12:52 13m 16s auto-update
auto-update
November 17, 2024 12:52 13m 16s
update README & add sponsor CI #110: Commit c452703 pushed by iehality
November 8, 2024 17:02 29m 1s master
master
November 8, 2024 17:02 29m 1s
Merge pull request #6 from FormalizedFormalLogic/update-4.13 CI #109: Commit bb64ed6 pushed by iehality
October 31, 2024 14:10 13m 11s master
master
October 31, 2024 14:10 13m 11s
chore: Update to 4.13 CI #108: Pull request #6 synchronize by iehality
October 31, 2024 13:55 14m 10s update-4.13
update-4.13
October 31, 2024 13:55 14m 10s
chore: Update to 4.13 CI #107: Pull request #6 synchronize by iehality
October 26, 2024 15:18 13m 1s update-4.13
update-4.13
October 26, 2024 15:18 13m 1s
chore: Update to 4.13 CI #106: Pull request #6 opened by iehality
October 26, 2024 11:13 4m 50s update-4.13
update-4.13
October 26, 2024 11:13 4m 50s
chore: Update foundation dep CI #105: Commit 85e3277 pushed by SnO2WMaN
October 15, 2024 03:47 12m 30s master
master
October 15, 2024 03:47 12m 30s
refactor/ci: rename package name and fix (#5) CI #104: Commit 1f22de2 pushed by SnO2WMaN
October 15, 2024 03:41 5m 49s master
master
October 15, 2024 03:41 5m 49s
refactor/ci: rename package name and fix CI #103: Pull request #5 opened by SnO2WMaN
October 15, 2024 03:27 12m 34s rename
rename
October 15, 2024 03:27 12m 34s
revise notations CI #102: Commit 1bfdc1b pushed by iehality
September 14, 2024 13:26 29m 43s master
master
September 14, 2024 13:26 29m 43s
update CI #101: Commit 1805c5a pushed by iehality
September 5, 2024 04:10 16m 47s master
master
September 5, 2024 04:10 16m 47s
update CI #100: Commit 2406be6 pushed by iehality
September 4, 2024 15:45 25m 46s master
master
September 4, 2024 15:45 25m 46s
move Incompleteness CI #99: Commit 9b331aa pushed by iehality
September 4, 2024 15:39 6m 36s master
master
September 4, 2024 15:39 6m 36s
fix & refactor CI #98: Commit 7604a3e pushed by iehality
September 4, 2024 06:14 15m 38s master
master
September 4, 2024 06:14 15m 38s
refactor CI #97: Commit 6167427 pushed by iehality
September 4, 2024 06:02 2m 34s master
master
September 4, 2024 06:02 2m 34s
Merge branch 'SnO2WMaN-dc' CI #96: Commit e787533 pushed by iehality
September 3, 2024 20:24 4m 34s master
master
September 3, 2024 20:24 4m 34s
inconsistent_unprovable CI #95: Commit 2da7151 pushed by iehality
September 3, 2024 19:47 31m 9s master
master
September 3, 2024 19:47 31m 9s
sound CI #94: Commit 7322bd7 pushed by iehality
August 26, 2024 02:29 21m 3s master
master
August 26, 2024 02:29 21m 3s
Use DerivabilityCondition for simple proof CI #93: Pull request #4 opened by SnO2WMaN
August 25, 2024 01:23 14m 3s SnO2WMaN:dc
SnO2WMaN:dc
August 25, 2024 01:23 14m 3s
add CI #92: Commit 388885a pushed by iehality
August 24, 2024 18:51 19m 39s master
master
August 24, 2024 18:51 19m 39s
Merge pull request #3 from FormalizedFormalLogic/redefine_term_formula CI #91: Commit ff71c56 pushed by iehality
August 23, 2024 00:31 19m 21s master
master
August 23, 2024 00:31 19m 21s
Redefine term & formula CI #90: Pull request #3 synchronize by iehality
August 23, 2024 00:17 14m 1s redefine_term_formula
redefine_term_formula
August 23, 2024 00:17 14m 1s
Redefine term & formula CI #89: Pull request #3 synchronize by iehality
August 21, 2024 19:58 13m 36s redefine_term_formula
redefine_term_formula
August 21, 2024 19:58 13m 36s