Skip to content

Actions: argumentcomputer/lean4lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 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 #7: Scheduled
7s dev
dev
7s
WIP: Jcb/formalization2 CI #20: Pull request #4 synchronize by johnchandlerburnham
6m 52s jcb/formalization2
jcb/formalization2
6m 52s
WIP: Jcb/formalization2 Nix #58: Pull request #4 synchronize by johnchandlerburnham
5m 35s jcb/formalization2
jcb/formalization2
5m 35s
PR #4 CodeQL #61: by johnchandlerburnham
42s refs/pull/4/head
refs/pull/4/head
42s
PR #4 CodeQL #60: by johnchandlerburnham
43s refs/pull/4/head
refs/pull/4/head
43s
Repo sync Repo sync #6: Scheduled
7s dev
dev
7s
Scheduled CodeQL #59: by github-advanced-security AI
50s dev
dev
50s
Push on dev CodeQL #58: by johnchandlerburnham
44s dev
dev
44s
Formalize singleton and mutual inductive generation (#3) Nix #57: Commit 272798a pushed by johnchandlerburnham
4m 16s dev
dev
4m 16s
Formalize singleton and mutual inductive generation (#3) CI #19: Commit 272798a pushed by johnchandlerburnham
8m 34s dev
dev
8m 34s
Repo sync Repo sync #5: Scheduled
11s dev
dev
11s
Formalize singleton and mutual inductive generation CI #18: Pull request #3 synchronize by johnchandlerburnham
7m 45s jcb/formalization
jcb/formalization
7m 45s
Formalize singleton and mutual inductive generation Nix #56: Pull request #3 synchronize by johnchandlerburnham
5m 44s jcb/formalization
jcb/formalization
5m 44s
PR #3 CodeQL #57: by johnchandlerburnham
47s refs/pull/3/head
refs/pull/3/head
47s
Formalize singleton and mutual inductive generation Nix #55: Pull request #3 synchronize by johnchandlerburnham
3m 46s jcb/formalization
jcb/formalization
3m 46s
Formalize singleton and mutual inductive generation CI #17: Pull request #3 synchronize by johnchandlerburnham
6m 19s jcb/formalization
jcb/formalization
6m 19s
PR #3 CodeQL #56: by johnchandlerburnham
48s refs/pull/3/head
refs/pull/3/head
48s
Formalize singleton and mutual inductive generation CI #16: Pull request #3 synchronize by johnchandlerburnham
7m 31s jcb/formalization
jcb/formalization
7m 31s
Formalize singleton and mutual inductive generation Nix #54: Pull request #3 synchronize by johnchandlerburnham
3m 55s jcb/formalization
jcb/formalization
3m 55s
PR #3 CodeQL #55: by johnchandlerburnham
43s refs/pull/3/head
refs/pull/3/head
43s
Formalize singleton and mutual inductive generation CI #15: Pull request #3 synchronize by johnchandlerburnham
7m 48s jcb/formalization
jcb/formalization
7m 48s
Formalize singleton and mutual inductive generation Nix #53: Pull request #3 synchronize by johnchandlerburnham
3m 45s jcb/formalization
jcb/formalization
3m 45s
PR #3 CodeQL #54: by johnchandlerburnham
50s refs/pull/3/head
refs/pull/3/head
50s
Formalize singleton and mutual inductive generation CI #14: Pull request #3 synchronize by johnchandlerburnham
3m 9s jcb/formalization
jcb/formalization
3m 9s
Formalize singleton and mutual inductive generation Nix #52: Pull request #3 synchronize by johnchandlerburnham
3m 44s jcb/formalization
jcb/formalization
3m 44s