Skip to content

Actions: argumentcomputer/lean4lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
279 workflow runs
279 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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #14: Scheduled
34s dev
dev
34s
Repo sync Repo sync #33: Scheduled
6s dev
dev
6s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #13: Scheduled
41s dev
dev
41s
Repo sync Repo sync #32: Scheduled
8s dev
dev
8s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #12: Scheduled
41s dev
dev
41s
Repo sync Repo sync #31: Scheduled
7s dev
dev
7s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #11: Scheduled
43s dev
dev
43s
Repo sync Repo sync #30: Scheduled
7s dev
dev
7s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #10: Scheduled
40s dev
dev
40s
Repo sync Repo sync #29: Scheduled
11s dev
dev
11s
Scheduled CodeQL #93: by github-advanced-security AI
44s dev
dev
44s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #9: Scheduled
37s dev
dev
37s
Repo sync Repo sync #28: Scheduled
8s dev
dev
8s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #8: Scheduled
37s dev
dev
37s
feat: close the substitution sorries with the picked substDF CI #52: Commit 8223d22 pushed by argument-ci-bot Bot
4m 48s master
master
4m 48s
Repo sync Repo sync #27: Scheduled
9s dev
dev
9s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #7: Scheduled
35s dev
dev
35s
Repo sync Repo sync #26: Scheduled
10s dev
dev
10s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #6: Scheduled
40s dev
dev
40s
Repo sync Repo sync #25: Scheduled
8s dev
dev
8s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #5: Scheduled
36s dev
dev
36s
docs: justify the projection divergence by the generated recursor CI #51: Commit 3adf6da pushed by argument-ci-bot Bot
3m 43s master
master
3m 43s
Repo sync Repo sync #24: Scheduled
7s dev
dev
7s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #4: Scheduled
40s dev
dev
40s
Repo sync Repo sync #23: Scheduled
10s dev
dev
10s