Skip to content

Actions: argumentcomputer/lean4lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 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
ci: rework CI/Nix gates, replace perl sorry-audit with Lean, simplify… CI #7: Commit 0d541a4 pushed by samuelburnham
6m 32s dev
dev
6m 32s
ci: rework CI/Nix gates, replace perl sorry-audit with Lean, simplify… Nix #45: Commit 0d541a4 pushed by samuelburnham
2m 49s dev
dev
2m 49s
Push on dev CodeQL #46: by samuelburnham
44s dev
dev
44s
Repo sync Repo sync #3: Scheduled
8s dev
dev
8s
Repo sync Repo sync #2: Scheduled
13s dev
dev
13s
Fix CI CI #6: Pull request #2 synchronize by samuelburnham
3m 1s ci-fixes
ci-fixes
3m 1s
Fix CI Nix #44: Pull request #2 synchronize by samuelburnham
2m 24s ci-fixes
ci-fixes
2m 24s
PR #2 CodeQL #45: by samuelburnham
56s refs/pull/2/head
refs/pull/2/head
56s
Fix CI Nix #43: Pull request #2 synchronize by samuelburnham
3m 48s ci-fixes
ci-fixes
3m 48s
Fix CI CI #5: Pull request #2 synchronize by samuelburnham
2m 50s ci-fixes
ci-fixes
2m 50s
PR #2 CodeQL #44: by samuelburnham
52s refs/pull/2/head
refs/pull/2/head
52s
Fix CI Nix #42: Pull request #2 opened by samuelburnham
6m 15s ci-fixes
ci-fixes
6m 15s
Fix CI CI #4: Pull request #2 opened by samuelburnham
6m 24s ci-fixes
ci-fixes
6m 24s
PR #2 CodeQL #43: by samuelburnham
42s refs/pull/2/head
refs/pull/2/head
42s
Repo sync Repo sync #1: Manually run by samuelburnham
9s dev
dev
9s
Push on dev CodeQL #42: by samuelburnham
45s dev
dev
45s
docs: document defeq and type inference related functions (#12) CI #3: Commit 924e7d8 pushed by samuelburnham
4m 18s master
master
4m 18s
Merge pull request #1 from argumentcomputer/jcb/induct Nix #41: Commit 331394d pushed by johnchandlerburnham
10m 29s master
master
10m 29s
Merge pull request #1 from argumentcomputer/jcb/induct CI #2: Commit 331394d pushed by johnchandlerburnham
6m 31s master
master
6m 31s
Push on master CodeQL #41: by johnchandlerburnham
44s master
master
44s
WIP feat: certify recursive normalization candidates Nix #40: Pull request #1 synchronize by johnchandlerburnham
10m 20s jcb/induct
jcb/induct
10m 20s
WIP feat: certify recursive normalization candidates CI #1: Pull request #1 synchronize by johnchandlerburnham
6m 33s jcb/induct
jcb/induct
6m 33s
PR #1 CodeQL #40: by johnchandlerburnham
51s refs/pull/1/head
refs/pull/1/head
51s
WIP feat: certify recursive normalization candidates Nix #39: Pull request #1 synchronize by johnchandlerburnham
19m 12s jcb/induct
jcb/induct
19m 12s
PR #1 CodeQL #39: by johnchandlerburnham
40s refs/pull/1/head
refs/pull/1/head
40s