Support building Dafny from source #128
robin-awsmain.yml
on: pull_request
Run tests
17s
Matrix: Install Dafny
Waiting for pending jobs
Annotations
2 errors and 1 warning
|
Run tests
Input required and not supplied: dafny-version
|
|
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
|