CI MPL HEAD

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

Sign in to view logs

Triggered via pull request July 11, 2024 00:19

josecorella

synchronize #1187

jocorell/gha-build-mpl-head

Status Failure

Total duration 3m 3s

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

3 errors and 3 warnings

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

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)

Process completed with exit code 2.

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/

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, 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/

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, 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/