Skip to content

Actions: SentinelOps-CI/lean-toolchain

Actions

.github/workflows/formal-verify.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verify.yml
15 workflow runs
15 workflow runs

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
cleanup rust target artifacts .github/workflows/formal-verify.yml #15: Commit 406913a pushed by fraware
Failure main
main
Failure
Bump criterion from 0.5.1 to 0.8.2 in /rust .github/workflows/formal-verify.yml #14: Pull request #3 by dependabot Bot
Failure dependabot/cargo/rust/criterion-0.8.2
dependabot/cargo/rust/criterion-0.8.2
Failure
Bump actions/checkout from 4 to 6 .github/workflows/formal-verify.yml #13: Pull request #2 by dependabot Bot
Failure dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
Failure
Bump criterion from 0.5.1 to 0.8.2 in /rust .github/workflows/formal-verify.yml #12: Commit f2d2988 pushed by dependabot Bot
Failure dependabot/cargo/rust/criterion-0.8.2
dependabot/cargo/rust/criterion-0.8.2
Failure
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/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 .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
update project files .github/workflows/formal-verify.yml #8: Commit 358d72a pushed by fraware
Failure main
main
Failure
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 .github/workflows/formal-verify.yml #5: Commit b198cdb pushed by fraware
Failure main
main
Failure
Update README.md .github/workflows/formal-verify.yml #4: Commit da1fe9b pushed by fraware
Failure main
main
Failure
Delete docs/vector-implementation-summary.md .github/workflows/formal-verify.yml #3: Commit f5b48f1 pushed by fraware
Failure main
main
Failure
Delete IMPLEMENTATION_STATUS.md .github/workflows/formal-verify.yml #2: Commit acd3939 pushed by fraware
Failure main
main
Failure
modifying repo's structure:⚡️ .github/workflows/formal-verify.yml #1: Commit cab03db pushed by fraware
Failure main
main
Failure