CI MPL HEAD

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

Sign in to view logs

Triggered via pull request July 11, 2024 19:15

josecorella

synchronize #1187

jocorell/gha-build-mpl-head

Status Failure

Total duration 3m 42s

Artifacts –

mpl-head.yml

on: pull_request

getVersion / getDafnyVersion

getVerifyVersion / getDafnyVerifyVersion

Matrix: mpl-head-ci-format / format_projects

Matrix: mpl-head-ci-verification / verification

Annotations

7 errors and 2 warnings

mpl-head-ci-verification / verification (DynamoDbEncryption, macos-12)

Container action is only supported on Linux

mpl-head-ci-verification / verification (DynamoDbEncryption, macos-12)

Process completed with exit code 2.

mpl-head-ci-verification / verification (DynamoDbEncryptionTransforms, macos-12)

The job was canceled because "DynamoDbEncryption_macos-" failed.

mpl-head-ci-verification / verification (DynamoDbEncryptionTransforms, macos-12)

Process completed with exit code 2.

mpl-head-ci-verification / verification (StructuredEncryption, macos-12)

The job was canceled because "DynamoDbEncryption_macos-" failed.

mpl-head-ci-verification / verification (StructuredEncryption, macos-12)

Process completed with exit code 2.

mpl-head-ci-verification / verification (DynamoDbItemEncryptor, macos-12)

The job was canceled because "DynamoDbEncryption_macos-" failed.

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]. 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/