Skip to content

Merge branch 'main' into use-seshat-from-bcr #722

Merge branch 'main' into use-seshat-from-bcr

Merge branch 'main' into use-seshat-from-bcr #722

Triggered via push September 13, 2023 07:20
Status Success
Total duration 11m 51s
Artifacts

erlang.yml

on: push
Matrix: build-bazel
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build-bazel (25)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build-bazel (24)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build-bazel (26)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (26)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/