Skip to content
.github/workflows/formal-verify.yml

Bump actions/checkout from 4 to 7 #19

Sign in to view logs

Bump actions/checkout from 4 to 7

Bump actions/checkout from 4 to 7 #19

Workflow file for this run

.github/workflows/formal-verify.yml at 469eb9e
# Organization-hosted remote checks (SentinelOps). Contributor-visible Lean/Rust
# verification also runs in `.github/workflows/local-ci.yml`.
name: SentinelOps
on: [push, pull_request]
jobs:
remote-ci:
uses: sentinelops/remote-ci/.github/workflows/remote.yml@v1

Check failure on line 8 in .github/workflows/formal-verify.yml

View workflow run for this annotation

GitHub Actions / .github/workflows/formal-verify.yml

Invalid workflow file 

error parsing called workflow
".github/workflows/formal-verify.yml"
-> "sentinelops/remote-ci/.github/workflows/remote.yml@v1"
: workflow was not found. See https://docs.github.com/actions/learn-github-actions/reusing-workflows#access-to-reusable-workflows for more information.
with:
tier: "oss"