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

Delete docs/vector-implementation-summary.md #3

Sign in to view logs

Delete docs/vector-implementation-summary.md

Delete docs/vector-implementation-summary.md #3

Workflow file for this run

.github/workflows/formal-verify.yml at f5b48f1
name: SentinelOps
on: [push, pull_request]
jobs:
remote-ci:
uses: sentinelops/remote-ci/.github/workflows/remote.yml@v1

Check failure on line 6 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"