Skip to content

Actions: argumentcomputer/lean4lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
232 workflow runs
232 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 #17: Scheduled
7s dev
dev
7s
Repo sync Repo sync #16: Scheduled
6s dev
dev
6s
chore: Fix warnings (#5) CI #45: Commit 4844eda pushed by samuelburnham
10m 3s dev
dev
10m 3s
chore: Fix warnings (#5) Nix #83: Commit 4844eda pushed by samuelburnham
4m 39s dev
dev
4m 39s
Push on dev CodeQL #87: by samuelburnham
43s dev
dev
43s
Repo sync Repo sync #15: Scheduled
9s dev
dev
9s
chore: Fix warnings Nix #82: Pull request #5 synchronize by samuelburnham
5m 53s sb/wfail-433
sb/wfail-433
5m 53s
chore: Fix warnings CI #44: Pull request #5 synchronize by samuelburnham
4m 39s sb/wfail-433
sb/wfail-433
4m 39s
PR #5 CodeQL #86: by samuelburnham
46s refs/pull/5/head
refs/pull/5/head
46s
chore: Fix warnings Nix #81: Pull request #5 opened by samuelburnham
4m 41s sb/wfail-433
sb/wfail-433
4m 41s
chore: Fix warnings CI #43: Pull request #5 opened by samuelburnham
10m 10s sb/wfail-433
sb/wfail-433
10m 10s
PR #5 CodeQL #85: by samuelburnham
47s refs/pull/5/head
refs/pull/5/head
47s
Repo sync Repo sync #14: Scheduled
9s dev
dev
9s
certified inductive environments, projections, and semantic-inversion… Nix #80: Commit 3d1390a pushed by samuelburnham
4m 21s dev
dev
4m 21s
certified inductive environments, projections, and semantic-inversion… CI #42: Commit 3d1390a pushed by samuelburnham
9m 8s dev
dev
9m 8s
Push on dev CodeQL #84: by samuelburnham
42s dev
dev
42s
certified inductive environments, projections, and semantic-inversion groundwork CI #41: Pull request #4 synchronize by samuelburnham
4m 33s jcb/formalization2
jcb/formalization2
4m 33s
certified inductive environments, projections, and semantic-inversion groundwork Nix #79: Pull request #4 synchronize by samuelburnham
4m 9s jcb/formalization2
jcb/formalization2
4m 9s
PR #4 CodeQL #83: by samuelburnham
45s refs/pull/4/head
refs/pull/4/head
45s
Repo sync Repo sync #13: Scheduled
6s dev
dev
6s
certified inductive environments, projections, and semantic-inversion groundwork CI #40: Pull request #4 synchronize by johnchandlerburnham
4m 23s jcb/formalization2
jcb/formalization2
4m 23s
certified inductive environments, projections, and semantic-inversion groundwork Nix #78: Pull request #4 synchronize by johnchandlerburnham
4m 29s jcb/formalization2
jcb/formalization2
4m 29s
PR #4 CodeQL #82: by johnchandlerburnham
41s refs/pull/4/head
refs/pull/4/head
41s
certified inductive environments, projections, and semantic-inversion groundwork CI #39: Pull request #4 synchronize by johnchandlerburnham
4m 14s jcb/formalization2
jcb/formalization2
4m 14s
certified inductive environments, projections, and semantic-inversion groundwork Nix #77: Pull request #4 synchronize by johnchandlerburnham
5m 18s jcb/formalization2
jcb/formalization2
5m 18s