Skip to content

Actions: SentinelOps-CI/lean-toolchain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 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
github_actions in /. - Update #1452278418 Dependabot Updates #30: by dependabot Bot
32s main
main
32s
cargo in /rust - Update #1452278417 Dependabot Updates #29: by dependabot Bot
32s main
main
32s
cargo in /rust - Update #1443379527 Dependabot Updates #28: by dependabot Bot
30s main
main
30s
github_actions in /. - Update #1443379502 Dependabot Updates #27: by dependabot Bot
29s main
main
29s
Bump actions/checkout from 4 to 7 Proof Bot #20: Pull request #4 labeled by dependabot Bot
1s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
1s
Bump actions/checkout from 4 to 7 .github/workflows/formal-verify.yml #19: Pull request #4 by dependabot Bot
Failure dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
Failure
Bump actions/checkout from 4 to 7 Proof Bot #19: Pull request #4 opened by dependabot Bot
1s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
1s
Bump actions/checkout from 4 to 7 Local CI (Lean + Rust) #7: Pull request #4 opened by dependabot Bot
13m 16s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
13m 16s
Bump actions/checkout from 4 to 7 Proof Bot #18: Pull request #4 labeled by dependabot Bot
1s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
1s
Bump actions/checkout from 4 to 7 Proof Bot #17: Pull request #4 labeled by dependabot Bot
Skipped dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
Skipped
Bump actions/checkout from 4 to 7 Proof Bot #16: Pull request #4 labeled by dependabot Bot
2s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
2s
Bump actions/checkout from 4 to 7 .github/workflows/formal-verify.yml #18: Commit 469eb9e pushed by dependabot Bot
-1s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
-1s
cargo in /rust - Update #1433635282 Dependabot Updates #26: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #1433635216 Dependabot Updates #25: by dependabot Bot
38s main
main
38s
cargo in /rust - Update #1418889150 Dependabot Updates #24: by dependabot Bot
1m 24s main
main
1m 24s
github_actions in /. - Update #1418889174 Dependabot Updates #23: by dependabot Bot
21m 2s main
main
21m 2s
github_actions in /. - Update #1406465232 Dependabot Updates #22: by dependabot Bot
43s main
main
43s
cargo in /rust - Update #1406465281 Dependabot Updates #21: by dependabot Bot
38s main
main
38s
github_actions in /. - Update #1396432464 Dependabot Updates #20: by dependabot Bot
28s main
main
28s
cargo in /rust - Update #1396423437 Dependabot Updates #19: by dependabot Bot
25s main
main
25s
Update README with Lean Toolchain header and badges .github/workflows/formal-verify.yml #17: Commit 75e7be1 pushed by fraware
Failure main
main
Failure
github_actions in /. - Update #1386327534 Dependabot Updates #18: by dependabot Bot
37s main
main
37s
cargo in /rust - Update #1386327529 Dependabot Updates #17: by dependabot Bot
33s main
main
33s
Update README with Lean Toolchain header and badges Local CI (Lean + Rust) #6: Commit 75e7be1 pushed by fraware
16m 47s main
main
16m 47s
Update README with Lean Toolchain header and badges .github/workflows/formal-verify.yml #16: Commit 75e7be1 pushed by fraware
Failure main
main
Failure