Skip to content

Actions: argumentcomputer/lean4-nix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
448 workflow runs
448 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 #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
ci: Fix the repo-sync workflow Nix CI #63: Pull request #18 synchronize by samuelburnham
2m 35s ci/repo-sync-via-ci-workflows
ci/repo-sync-via-ci-workflows
2m 35s
ci: Fix the repo-sync workflow Nix CI #62: Pull request #18 opened by samuelburnham
32s ci/repo-sync-via-ci-workflows
ci/repo-sync-via-ci-workflows
32s
Update toolchain Update toolchain #15: Scheduled
42s dev
dev
42s
Repo sync Repo sync #540: Scheduled
18s dev
dev
18s
Update toolchain Update toolchain #14: Scheduled
37s dev
dev
37s
Repo sync Repo sync #539: Scheduled
17s dev
dev
17s
feat(toolchain): Update to v4.33.1 (#17) Nix CI #61: Commit 1ecad9d pushed by samuelburnham
2m 5s dev
dev
2m 5s
feat(toolchain): Update to v4.33.1 Nix CI #60: Pull request #17 opened by argument-ci-bot Bot
8m 41s update/lean-v4.33.1
update/lean-v4.33.1
8m 41s
Update toolchain Update toolchain #13: Scheduled
4m 44s dev
dev
4m 44s
Repo sync Repo sync #538: Scheduled
13s dev
dev
13s
Update toolchain Update toolchain #12: Scheduled
43s dev
dev
43s
Repo sync Repo sync #537: Scheduled
12s dev
dev
12s
Update toolchain Update toolchain #11: Scheduled
38s dev
dev
38s
Repo sync Repo sync #536: Scheduled
14s dev
dev
14s