Skip to content

feat: improve docs

feat: improve docs #3

Workflow file for this run

name: SentinelOps

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

View workflow run for this annotation

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

Invalid workflow file

(Line: 9, Col: 5): Unexpected value 'env'
on: [push, pull_request]
jobs:
remote-ci:
uses: sentinelops/remote-ci/.github/workflows/remote.yml@v1
with:
tier: "oss"
env:
DSP_SKIP_SIMD: "1"