Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,445 workflow runs
1,445 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs(Logic, Syntax/Predicate): Add and update some docstrings related to homomorphisms and rewritings CI #2763: Pull request #843 opened by Convindix
7m 13s Convindix:master
Convindix:master
7m 13s
docs(Logic, Syntax/Predicate): Docstrings related to homomorphisms and rewritings CI #2762: Pull request #842 synchronize by Convindix
1m 59s Convindix:recursion
Convindix:recursion
1m 59s
fix: resolve all linter.overlappingInstances warnings (#841) CI #2761: Commit 87d4dd6 pushed by SnO2WMaN
26m 11s master
master
26m 11s
fix: resolve all linter.overlappingInstances warnings CI #2760: Pull request #841 synchronize by SnO2WMaN
7m 3s fix-overlapping-instances-diamond
fix-overlapping-instances-diamond
7m 3s
fix: resolve all linter.overlappingInstances warnings CI #2759: Pull request #841 opened by SnO2WMaN
17m 42s fix-overlapping-instances-diamond
fix-overlapping-instances-diamond
17m 42s
fix: rename fcwHeight to cwfHeight (#840) CI #2758: Commit b62b3ba pushed by SnO2WMaN
11m 35s master
master
11m 35s
fix: rename fcwHeight to cwfHeight CI #2757: Pull request #840 opened by SnO2WMaN
9m 48s rename-cwfheight
rename-cwfheight
9m 48s
refactor: remove import-only aggregator files CI #2756: Pull request #839 synchronize by SnO2WMaN
27m 25s remove-import-only-aggregator-files
remove-import-only-aggregator-files
27m 25s
refactor: remove import-only aggregator files CI #2755: Pull request #839 opened by SnO2WMaN
19m 11s remove-import-only-aggregator-files
remove-import-only-aggregator-files
19m 11s
refactor(FirstOrder): abstract hierarchy over operators CI #2754: Pull request #838 opened by 00sqh
13m 27s 00sqh:operator-levy-hierarchy
00sqh:operator-levy-hierarchy
13m 27s
refactor: unify ℒₒᵣ/ℒₛₑₜ syntax type aliases (#837) CI #2753: Commit a1733b5 pushed by SnO2WMaN
20m 13s master
master
20m 13s
refactor: unify ℒₒᵣ/ℒₛₑₜ syntax type aliases CI #2752: Pull request #837 opened by SnO2WMaN
19m 0s sentence-alias-refactor
sentence-alias-refactor
19m 0s
add(Incompleteness): First incompleteness theorem from the halting pr… CI #2751: Commit 71b57f2 pushed by SnO2WMaN
7m 38s master
master
7m 38s
add(Incompleteness): First incompleteness theorem from the halting problem CI #2750: Pull request #836 opened by SnO2WMaN
7m 2s halting-incompleteness
halting-incompleteness
7m 2s
chore: fix mathlib/Std deprecation warnings (#834) CI #2749: Commit 2040d2f pushed by SnO2WMaN
27m 8s master
master
27m 8s
chore: fix mathlib/Std deprecation warnings CI #2748: Pull request #834 synchronize by SnO2WMaN
23m 56s gotrevor:deprecation-warnings
gotrevor:deprecation-warnings
23m 56s
chore: fix mathlib/Std deprecation warnings CI #2747: Pull request #834 synchronize by SnO2WMaN
27m 52s gotrevor:deprecation-warnings
gotrevor:deprecation-warnings
27m 52s
refactor(Vorspiel): rename clashing Matrix.map/forall_iff/exists_iff to vec* (Mathlib co-import) CI #2746: Pull request #835 synchronize by A-M-Berns
25m 54s A-M-Berns:fix/vecMap-mathlib-clash
A-M-Berns:fix/vecMap-mathlib-clash
25m 54s
refactor(Vorspiel): rename clashing Matrix.map/forall_iff/exists_iff to vec* (Mathlib co-import) CI #2745: Pull request #835 opened by A-M-Berns
Action required A-M-Berns:fix/vecMap-mathlib-clash
A-M-Berns:fix/vecMap-mathlib-clash
Action required
chore: fix mathlib/Std deprecation warnings CI #2744: Pull request #834 synchronize by gotrevor
26m 10s gotrevor:deprecation-warnings
gotrevor:deprecation-warnings
26m 10s
feat(Incompleteness): discharge the 𝗣𝗔 / 𝗜𝚺₁ Δ₁-definability ax… CI #2743: Commit 1527b59 pushed by SnO2WMaN
8m 2s master
master
8m 2s
feat(Incompleteness): discharge the 𝗣𝗔 / 𝗜𝚺₁ Δ₁-definability axioms CI #2742: Pull request #833 synchronize by gotrevor
7m 26s gotrevor:delta1-v431-pr
gotrevor:delta1-v431-pr
7m 26s
chore: fix mathlib/Std deprecation warnings CI #2741: Pull request #834 opened by gotrevor
27m 21s gotrevor:deprecation-warnings
gotrevor:deprecation-warnings
27m 21s
feat(Incompleteness): discharge the 𝗣𝗔 / 𝗜𝚺₁ Δ₁-definability axioms CI #2740: Pull request #833 opened by gotrevor
7m 47s gotrevor:delta1-v431-pr
gotrevor:delta1-v431-pr
7m 47s
feat(Propositional/Hilbert/F): prove DT_list, removing two sorries CI #2739: Pull request #832 opened by gotrevor
6m 10s gotrevor:dt-list-v431-pr
gotrevor:dt-list-v431-pr
6m 10s