Skip to content
CI

Merge pull request #401 from agda/orestis/fix-web-lib-test #763

Sign in to view logs

Merge pull request #401 from agda/orestis/fix-web-lib-test

Merge pull request #401 from agda/orestis/fix-web-lib-test #763

Triggered via push March 11, 2025 11:23
@omelkonianomelkonian
pushed a3400f3
master
Status Startup failure
Total duration –
Artifacts –

ci.yml

on: push
Matrix: cabal
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/ci.yml#L73
The workflow is not valid. .github/workflows/ci.yml (Line: 73, Col: 11): Unrecognized named-value: 'martix'. Located at position 16 within expression: (matrix.ghc == martix.deploy-ghc) && (github.event_name != 'pull_request') .github/workflows/ci.yml (Line: 79, Col: 11): Unrecognized named-value: 'martix'. Located at position 16 within expression: (matrix.ghc == martix.deploy-ghc) && (github.event_name != 'pull_request')