Skip to content

Actions: argumentcomputer/lean4-nix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
462 workflow runs
462 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
Repo sync Repo sync #407: Scheduled
8s dev
dev
8s
Repo sync Repo sync #406: Scheduled
15s dev
dev
15s
Repo sync Repo sync #405: Scheduled
8s dev
dev
8s
Repo sync Repo sync #404: Scheduled
14s dev
dev
14s
Repo sync Repo sync #403: Scheduled
14s dev
dev
14s
Repo sync Repo sync #402: Scheduled
10s dev
dev
10s
Repo sync Repo sync #401: Scheduled
16s dev
dev
16s
Repo sync Repo sync #400: Scheduled
16s dev
dev
16s
Repo sync Repo sync #399: Scheduled
14s dev
dev
14s
Repo sync Repo sync #398: Scheduled
11s dev
dev
11s
Repo sync Repo sync #397: Scheduled
12s dev
dev
12s
Repo sync Repo sync #396: Scheduled
12s dev
dev
12s
Repo sync Repo sync #395: Scheduled
13s dev
dev
13s
Repo sync Repo sync #394: Scheduled
13s dev
dev
13s
Repo sync Repo sync #393: Scheduled
1m 30s dev
dev
1m 30s
Repo sync Repo sync #392: Scheduled
3m 11s dev
dev
3m 11s
Repo sync Repo sync #391: Scheduled
12s dev
dev
12s
Repo sync Repo sync #390: Scheduled
11s dev
dev
11s
Repo sync Repo sync #389: Scheduled
16s dev
dev
16s
Repo sync Repo sync #388: Scheduled
16s dev
dev
16s
Repo sync Repo sync #387: Scheduled
13s dev
dev
13s
Repo sync Repo sync #386: Scheduled
10s dev
dev
10s
Repo sync Repo sync #385: Scheduled
8s dev
dev
8s
Repo sync Repo sync #384: Scheduled
9s dev
dev
9s
Repo sync Repo sync #383: Scheduled
12s dev
dev
12s