Skip to content

Actions: FormalizedFormalLogic/Arithmetization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Redefine term & formula CI #88: Pull request #3 synchronize by iehality
August 21, 2024 18:15 18m 37s redefine_term_formula
redefine_term_formula
August 21, 2024 18:15 18m 37s
Redefine term & formula CI #87: Pull request #3 synchronize by iehality
August 21, 2024 17:20 12m 16s redefine_term_formula
redefine_term_formula
August 21, 2024 17:20 12m 16s
Redefine term & formula CI #86: Pull request #3 synchronize by iehality
August 20, 2024 20:05 12m 12s redefine_term_formula
redefine_term_formula
August 20, 2024 20:05 12m 12s
Redefine term & formula CI #85: Pull request #3 synchronize by iehality
August 19, 2024 20:10 11m 32s redefine_term_formula
redefine_term_formula
August 19, 2024 20:10 11m 32s
Redefine term & formula CI #84: Pull request #3 opened by iehality
August 18, 2024 21:32 10m 9s redefine_term_formula
redefine_term_formula
August 18, 2024 21:32 10m 9s
Q₀Theory CI #83: Commit 77fd386 pushed by iehality
August 18, 2024 08:19 18m 49s master
master
August 18, 2024 08:19 18m 49s
Merge branch 'class' CI #82: Commit 0aebce2 pushed by iehality
August 17, 2024 15:01 18m 50s master
master
August 17, 2024 15:01 18m 50s
Merge pull request #2 from FormalizedFormalLogic/class CI #81: Commit d589536 pushed by iehality
August 16, 2024 16:36 19m 0s master
master
August 16, 2024 16:36 19m 0s
refactor CI #80: Pull request #2 synchronize by iehality
August 16, 2024 16:22 13m 41s class
class
August 16, 2024 16:22 13m 41s
refactor CI #79: Pull request #2 synchronize by iehality
August 16, 2024 16:17 2m 45s class
class
August 16, 2024 16:17 2m 45s
refactor CI #78: Pull request #2 synchronize by iehality
August 15, 2024 20:31 2m 57s class
class
August 15, 2024 20:31 2m 57s