Skip to content

Actions: SentinelOps-CI/lean-toolchain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 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
Bump actions/github-script from 7 to 9 Proof Bot #5: Pull request #1 labeled by dependabot Bot
1s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
1s
Bump actions/github-script from 7 to 9 Proof Bot #4: Pull request #1 labeled by dependabot Bot
1s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
1s
Bump actions/github-script from 7 to 9 .github/workflows/formal-verify.yml #11: Pull request #1 by dependabot Bot
Failure dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
Failure
Bump actions/github-script from 7 to 9 Proof Bot #3: Pull request #1 labeled by dependabot Bot
Skipped dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
Skipped
Bump actions/github-script from 7 to 9 Proof Bot #2: Pull request #1 opened by dependabot Bot
Skipped dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
Skipped
Bump actions/github-script from 7 to 9 Local CI (Lean + Rust) #2: Pull request #1 opened by dependabot Bot
13m 27s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
13m 27s
Bump actions/checkout from 4 to 6 .github/workflows/formal-verify.yml #10: Commit 9db5276 pushed by dependabot Bot
Failure dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
Failure
Bump actions/github-script from 7 to 9 Proof Bot #1: Pull request #1 labeled by dependabot Bot
1s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
1s
Bump actions/github-script from 7 to 9 .github/workflows/formal-verify.yml #9: Commit 95c4183 pushed by dependabot Bot
Failure dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
Failure
github_actions in /. - Update #1323766125 Dependabot Updates #4: by dependabot Bot
41s main
main
41s
cargo in /rust - Update #1323766124 Dependabot Updates #3: by dependabot Bot
49s main
main
49s
cargo in /rust - Update #1323766137 Dependabot Updates #2: by dependabot Bot
44s main
main
44s
github_actions in /. - Update #1323766110 Dependabot Updates #1: by dependabot Bot
43s main
main
43s
update project files Local CI (Lean + Rust) #1: Commit 358d72a pushed by fraware
12m 28s main
main
12m 28s
update project files .github/workflows/formal-verify.yml #8: Commit 358d72a pushed by fraware
Failure main
main
Failure
feat: improve docs CI #7: Commit 6ac129f pushed by fraware
23s main
main
23s
feat: improve docs .github/workflows/formal-verify.yml #7: Commit 6ac129f pushed by fraware
Failure main
main
Failure
Update README.md .github/workflows/formal-verify.yml #6: Commit c36f14f pushed by fraware
Failure main
main
Failure
Update README.md CI #6: Commit c36f14f pushed by fraware
21s main
main
21s
Update README.md CI #5: Commit b198cdb pushed by fraware
25s main
main
25s
Update README.md .github/workflows/formal-verify.yml #5: Commit b198cdb pushed by fraware
Failure main
main
Failure
Update README.md CI #4: Commit da1fe9b pushed by fraware
29s main
main
29s
Update README.md .github/workflows/formal-verify.yml #4: Commit da1fe9b pushed by fraware
Failure main
main
Failure
Delete docs/vector-implementation-summary.md CI #3: Commit f5b48f1 pushed by fraware
27s main
main
27s
Delete docs/vector-implementation-summary.md .github/workflows/formal-verify.yml #3: Commit f5b48f1 pushed by fraware
Failure main
main
Failure