CI MPL HEAD

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

Sign in to view logs

Triggered via pull request July 11, 2024 21:23

josecorella

synchronize #1187

jocorell/gha-build-mpl-head

Status Failure

Total duration 32m 21s

Artifacts –

mpl-head.yml

on: pull_request

getVerifyVersion / getDafnyVerifyVersion

getVersion / getDafnyVersion

getMplHeadVersion / getMplHeadVersion

Matrix: mpl-head-ci-test-vector-verification / verification

Matrix: mpl-head-ci-format / format_projects

Matrix: mpl-head-ci-verification / verification

Annotations

1 error and 6 warnings

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

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-verification / verification (DynamoDbItemEncryptor, macos-12)

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], actions/setup-dotnet@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-verification / verification (StructuredEncryption, macos-12)

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], actions/setup-dotnet@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-verification / verification (DynamoDbEncryption, macos-12)

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], actions/setup-dotnet@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-test-vector-verification / verification (macos-12)

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], actions/setup-dotnet@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-verification / verification (DynamoDbEncryptionTransforms, macos-12)

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], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/