Skip to content

Actions: argumentcomputer/lean4-nix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
453 workflow runs
453 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 toolchain Update toolchain #27: Scheduled
47s dev
dev
47s
Repo sync Repo sync #552: Scheduled
7s dev
dev
7s
Update toolchain Update toolchain #26: Scheduled
46s dev
dev
46s
Repo sync Repo sync #551: Scheduled
10s dev
dev
10s
Update toolchain Update toolchain #25: Scheduled
46s dev
dev
46s
Repo sync Repo sync #550: Scheduled
8s dev
dev
8s
Update toolchain Update toolchain #24: Scheduled
48s dev
dev
48s
Repo sync Repo sync #549: Scheduled
7s dev
dev
7s
Update toolchain Update toolchain #23: Scheduled
41s dev
dev
41s
Repo sync Repo sync #548: Scheduled
9s dev
dev
9s
Update toolchain Update toolchain #22: Scheduled
43s dev
dev
43s
Repo sync Repo sync #547: Scheduled
9s dev
dev
9s
Update toolchain Update toolchain #21: Scheduled
48s dev
dev
48s
Repo sync Repo sync #546: Scheduled
7s dev
dev
7s
Update toolchain Update toolchain #20: Scheduled
38s dev
dev
38s
Repo sync Repo sync #545: Scheduled
7s dev
dev
7s
Update toolchain Update toolchain #19: Scheduled
39s dev
dev
39s
Repo sync Repo sync #544: Scheduled
10s dev
dev
10s
Update toolchain Update toolchain #18: Scheduled
41s dev
dev
41s
Repo sync Repo sync #543: Scheduled
10s dev
dev
10s
Update toolchain Update toolchain #17: Scheduled
44s dev
dev
44s
Repo sync Repo sync #542: Scheduled
10s dev
dev
10s
Update toolchain Update toolchain #16: Scheduled
39s dev
dev
39s
Repo sync Repo sync #541: Scheduled
10s dev
dev
10s
ci: Sync from upstream via the shared ci-workflows workflow (#18) Nix CI #64: Commit e014934 pushed by samuelburnham
2m 27s dev
dev
2m 27s