Skip to content

Actions: FormalizedFormalLogic/Arithmetization

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Language.Theory.TDerivation CI #60: Commit 2a9a357 pushed by iehality
July 15, 2024 18:35 7m 4s master
master
July 15, 2024 18:35 7m 4s
feat: conj, disj CI #59: Commit 1333db2 pushed by iehality
July 13, 2024 21:12 7m 31s master
master
July 13, 2024 21:12 7m 31s
rewrite Coding CI #58: Commit 3c7c4bf pushed by iehality
July 11, 2024 19:05 12m 49s master
master
July 11, 2024 19:05 12m 49s
refactor Derivation CI #57: Commit 4aa71e6 pushed by iehality
July 10, 2024 19:43 12m 37s master
master
July 10, 2024 19:43 12m 37s
coding CI #56: Commit 2015704 pushed by iehality
July 9, 2024 18:49 6m 1s master
master
July 9, 2024 18:49 6m 1s
Language.Semiformula.substs CI #55: Commit 778b5fa pushed by iehality
July 9, 2024 14:43 13m 14s master
master
July 9, 2024 14:43 13m 14s
fix CI #54: Commit 3d32568 pushed by iehality
July 6, 2024 13:48 3m 3s master
master
July 6, 2024 13:48 3m 3s
formulaRec1 CI #53: Commit 4e74fd3 pushed by iehality
July 6, 2024 13:06 2m 56s master
master
July 6, 2024 13:06 2m 56s
ind CI #52: Commit 71de94c pushed by iehality
July 3, 2024 15:20 2m 28s master
master
July 3, 2024 15:20 2m 28s
Term.Functions CI #51: Commit 8e1df03 pushed by iehality
July 3, 2024 10:12 5m 58s master
master
July 3, 2024 10:12 5m 58s
structure CI #50: Commit fae8289 pushed by iehality
July 2, 2024 19:38 2m 49s master
master
July 2, 2024 19:38 2m 49s
update Arithmetization CI #49: Commit a335158 pushed by iehality
July 2, 2024 18:49 2m 3s master
master
July 2, 2024 18:49 2m 3s
refactor CI #48: Commit e68551c pushed by iehality
July 2, 2024 18:43 2m 51s master
master
July 2, 2024 18:43 2m 51s
substs CI #47: Commit 400bd41 pushed by iehality
July 1, 2024 22:49 6m 0s master
master
July 1, 2024 22:49 6m 0s
UFormulaRec CI #46: Commit 1a39231 pushed by iehality
July 1, 2024 15:53 2m 1s master
master
July 1, 2024 15:53 2m 1s
refactor: LO.Arith CI #45: Commit 972db2d pushed by iehality
June 27, 2024 17:20 6m 0s master
master
June 27, 2024 17:20 6m 0s
feat: Fixpoint sigma1 CI #44: Commit 25f848a pushed by iehality
June 25, 2024 19:28 5m 52s master
master
June 25, 2024 19:28 5m 52s
encode CI #43: Commit ef51a4a pushed by iehality
June 24, 2024 11:42 9m 38s master
master
June 24, 2024 11:42 9m 38s
feat absoluteness CI #42: Commit ab1b9b9 pushed by iehality
June 18, 2024 05:45 9m 8s master
master
June 18, 2024 05:45 9m 8s
term subst CI #41: Commit 82b8d17 pushed by iehality
June 17, 2024 14:58 2m 23s master
master
June 17, 2024 14:58 2m 23s
term revised CI #40: Commit 01ddbbe pushed by iehality
June 16, 2024 19:09 5m 34s master
master
June 16, 2024 19:09 5m 34s
language CI #39: Commit dc92aa7 pushed by iehality
June 16, 2024 09:05 8m 39s master
master
June 16, 2024 09:05 8m 39s
rename CI #38: Commit f18656c pushed by iehality
June 15, 2024 16:55 4m 31s master
master
June 15, 2024 16:55 4m 31s
feat: IsSemiterm CI #37: Commit e943860 pushed by iehality
June 15, 2024 15:54 4m 59s master
master
June 15, 2024 15:54 4m 59s
revert CI #36: Commit 3fd1c8c pushed by iehality
June 12, 2024 11:57 1m 21s master
master
June 12, 2024 11:57 1m 21s