CI MPL HEAD

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

Sign in to view logs

Triggered via pull request July 10, 2024 23:54

josecorella

synchronize #1187

jocorell/gha-build-mpl-head

Status Failure

Total duration 3m 44s

Artifacts –

mpl-head.yml

on: pull_request

getVersion / getDafnyVersion

getVerifyVersion / getDafnyVerifyVersion

Matrix: mpl-head-ci-codegen / code-generation

Matrix: mpl-head-ci-format / format_projects

Annotations

2 errors and 3 warnings

mpl-head-ci-codegen / code-generation (DynamoDbEncryption, 6.0.x, ubuntu-latest)

Process completed with exit code 2.

mpl-head-ci-codegen / code-generation (TestVectors, 6.0.x, ubuntu-latest)

Process completed with exit code 2.

mpl-head-ci-codegen / code-generation (DynamoDbEncryption, 6.0.x, ubuntu-latest)

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

mpl-head-ci-codegen / code-generation (TestVectors, 6.0.x, ubuntu-latest)

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

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/