Skip to content
Build on PR

Unify pr/main workflows and use tlaplus/examples as integration tests #357

Sign in to view logs

Unify pr/main workflows and use tlaplus/examples as integration tests

Unify pr/main workflows and use tlaplus/examples as integration tests #357

Triggered via pull request April 20, 2024 16:21
@ahelwerahelwer
synchronize #96
ahelwer:examples-ci
Status Startup failure
Total duration –
Artifacts –

pr.yml

on: pull_request
Matrix: Build & Test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/pr.yml#L12
The workflow is not valid. .github/workflows/pr.yml (Line: 12, Col: 11): Unexpected value 'env'