Skip to content

ci: make release conditional on being on the root (non-fork) repo #8094

ci: make release conditional on being on the root (non-fork) repo

ci: make release conditional on being on the root (non-fork) repo #8094

Triggered via push December 1, 2025 16:53
Status Failure
Total duration
Artifacts

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/ci.yml#L1
(Line: 142, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 47 within expression: matrix.features == '' && github.repository == "verus-lang/verus", (Line: 154, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 47 within expression: matrix.features == '' && github.repository == "verus-lang/verus", (Line: 204, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus", (Line: 249, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus", (Line: 294, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus", (Line: 358, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus", (Line: 369, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus", (Line: 380, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus", (Line: 391, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus", (Line: 402, Col: 13): Unexpected symbol: '"verus-lang/verus"'. Located at position 22 within expression: github.repository == "verus-lang/verus"