CI MPL HEAD

chore(GHA): add action for testing against MPL HEAD #13

Sign in to view logs

Triggered via pull request July 11, 2024 20:55

josecorella

synchronize #1187

jocorell/gha-build-mpl-head

Status Failure

Total duration 3m 50s

Artifacts –

mpl-head.yml

on: pull_request

getVersion / getDafnyVersion

getVerifyVersion / getDafnyVerifyVersion

getMplHeadVersion / getMplHeadVersion

Matrix: mpl-head-ci-format / format_projects

Matrix: mpl-head-ci-verification / verification

Waiting for pending jobs

Annotations

1 error and 1 warning

getMplHeadVersion / getMplHeadVersion

Process completed with exit code 1.

mpl-head-ci-format / format_projects (macos-12)

The following actions uses Node.js version which is deprecated and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/