Skip to content
Validate action

fix: Reference helper composite action with full path, fix broken CI #132

Sign in to view logs

fix: Reference helper composite action with full path, fix broken CI

fix: Reference helper composite action with full path, fix broken CI #132

Triggered via pull request January 23, 2025 21:17
@robin-awsrobin-aws
opened #28
fix-build-dafny-from-source
Status Failure
Total duration 28s
Artifacts –

main.yml

on: pull_request
Matrix: Install Dafny
Waiting for pending jobs
Run tests
9s
Run tests
all-required
1s
all-required
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Run tests
Input required and not supplied: dafny-version
all-required
Process completed with exit code 1.
Validate action
Error when evaluating 'runs-on' for job 'setup-dafny'. .github/workflows/main.yml (Line: 13, Col: 14): Unexpected value ''
Run tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636