Skip to content

Actions: argumentcomputer/lean4lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 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 #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
PR #4 CodeQL #81: by johnchandlerburnham
47s refs/pull/4/head
refs/pull/4/head
47s
certified inductive environments, projections, and semantic-inversion groundwork Nix #76: Pull request #4 synchronize by johnchandlerburnham
4m 38s jcb/formalization2
jcb/formalization2
4m 38s
certified inductive environments, projections, and semantic-inversion groundwork CI #38: Pull request #4 synchronize by johnchandlerburnham
4m 35s jcb/formalization2
jcb/formalization2
4m 35s
PR #4 CodeQL #80: by johnchandlerburnham
49s refs/pull/4/head
refs/pull/4/head
49s
Scheduled CodeQL #79: by github-advanced-security AI
50s dev
dev
50s