Build

add `concreteRepo` to avoid `trait` + `class` #619

Sign in to view logs

Triggered via pull request August 22, 2024 15:05

oyvindberg

opened #137

concrete-repo

Status Success

Total duration 4m 49s

Artifacts –

build.yml

on: pull_request

Matrix: build-scala

Annotations

7 warnings

The following actions use a deprecated Node.js version and will be forced to run on node20: bleep-build/[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/

build-scala212

The following actions use a deprecated Node.js version and will be forced to run on node20: bleep-build/[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/

build-scala (3, 12)

The following actions use a deprecated Node.js version and will be forced to run on node20: bleep-build/[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/

build-scala (213, 16)

The following actions use a deprecated Node.js version and will be forced to run on node20: bleep-build/[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/

build-scala (213, 12)

The following actions use a deprecated Node.js version and will be forced to run on node20: bleep-build/[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/

build-scala (3, 16)

The following actions use a deprecated Node.js version and will be forced to run on node20: bleep-build/[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/

The following actions use a deprecated Node.js version and will be forced to run on node20: bleep-build/[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/