Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,169 workflow runs
2,169 workflow runs

Filter by Workflow

βŒ₯ + click/return to exclude

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
add(FirstOrder/Arithmetic): Cardinality CI #3669: Pull request #1056 synchronize by indiscernibles
11m 9s indiscernibles:card
indiscernibles:card
11m 9s
add(FirstOrder/Arithmetic): Cardinality CI #3668: Pull request #1056 opened by indiscernibles
11m 8s indiscernibles:card
indiscernibles:card
11m 8s
github_actions in /. - Update #1675207028 Dependabot Updates #54: by dependabot Bot
1m 4s master
master
1m 4s
github_actions in /. - Update #1656004408 Dependabot Updates #53: by dependabot Bot
1m 7s master
master
1m 7s
refactor: Remove redundant lemmas CI #3667: Pull request #1055 synchronize by SnO2WMaN
17m 35s remove-redundant-lemmas-1054
remove-redundant-lemmas-1054
17m 35s
refactor: Remove redundant lemmas CI #3666: Pull request #1055 synchronize by SnO2WMaN
13m 2s remove-redundant-lemmas-1054
remove-redundant-lemmas-1054
13m 2s
add(FirstOrder): liberalize bounded functions CI #3665: Pull request #1046 synchronize by iehality
2m 7s bounded-definable
bounded-definable
2m 7s
refactor: Remove redundant lemmas CI #3664: Pull request #1055 synchronize by SnO2WMaN
44m 42s remove-redundant-lemmas-1054
remove-redundant-lemmas-1054
44m 42s
refactor: Remove redundant lemmas CI #3663: Pull request #1055 opened by SnO2WMaN
16m 22s remove-redundant-lemmas-1054
remove-redundant-lemmas-1054
16m 22s
add(FirstOrder): liberalize bounded functions CI #3662: Pull request #1046 synchronize by iehality
2m 15s bounded-definable
bounded-definable
2m 15s
github_actions in /. - Update #1637806678 Dependabot Updates #52: by dependabot Bot
1m 3s master
master
1m 3s
ci: Replace Forgive with lake check CI #3661: Pull request #1052 synchronize by SnO2WMaN
9m 35s replace-forgive-with-lake-check
replace-forgive-with-lake-check
9m 35s
ci: Allow unprivileged user namespaces for bwrap Actionlint #300: Commit 6fa1edc pushed by SnO2WMaN
12s replace-forgive-with-lake-check
replace-forgive-with-lake-check
12s
ci: Replace Forgive with lake check CI #3660: Pull request #1052 synchronize by SnO2WMaN
1m 35s replace-forgive-with-lake-check
replace-forgive-with-lake-check
1m 35s
ci: Replace Forgive with lake check CI #3659: Pull request #1052 synchronize by SnO2WMaN
1m 56s replace-forgive-with-lake-check
replace-forgive-with-lake-check
1m 56s
ci: Install bubblewrap for lake check Actionlint #299: Commit a79649c pushed by SnO2WMaN
10s replace-forgive-with-lake-check
replace-forgive-with-lake-check
10s
ci: Replace Forgive with lake check CI #3658: Pull request #1052 opened by SnO2WMaN
1m 52s replace-forgive-with-lake-check
replace-forgive-with-lake-check
1m 52s
ci: Replace Forgive with lake check Actionlint #298: Commit da4d782 pushed by SnO2WMaN
12s replace-forgive-with-lake-check
replace-forgive-with-lake-check
12s
github_actions in /. - Update #1625894944 Dependabot Updates #51: by dependabot Bot
1m 8s master
master
1m 8s
chore: Bump toolchain to v4.35.0 (#1051) CI #3657: Commit c3eb37a pushed by github-merge-queue Bot
18m 54s master
master
18m 54s
CI CI #3656: Merge group checks requested
17m 49s
17m 49s
chore: Bump toolchain to v4.35.0 CI #3655: Pull request #1051 synchronize by SnO2WMaN
18m 0s update-deps-lean-4-35-0
update-deps-lean-4-35-0
18m 0s
add(Arithmetic): finite axiomatizability of π—œπšΊ n CI #3654: Pull request #1019 synchronize by SnO2WMaN
14m 20s alpha-centauri/isigma-finite-axiomatization
alpha-centauri/isigma-finite-axiomatization
14m 20s
chore: Bump toolchain to v4.35.0 CI #3653: Pull request #1051 opened by SnO2WMaN
17m 20s update-deps-lean-4-35-0
update-deps-lean-4-35-0
17m 20s
add(FirstOrder/Arithmetic): Primitive recursive functions are π—œπšΊβ‚-provably total CI #3652: Pull request #1041 synchronize by SnO2WMaN
15m 17s port-provably-total
port-provably-total
15m 17s