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

improving repo's structure - ⚡️ #1

Sign in to view logs

improving repo's structure - ⚡️

improving repo's structure - ⚡️ #1

Workflow file for this run

.github/workflows/formal-verify.yml at 8cf5e3d
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"
env:
DSP_SKIP_SIMD: "1"