Skip to content
CI

Remove Formula #1158

Sign in to view logs

Remove Formula

Remove Formula #1158

Triggered via pull request December 25, 2024 22:30
@N1arkN1ark
synchronize #326
N1ark:no-more-formula
Status Failure
Total duration 42m 10s
Artifacts 3

ci.yml

on: pull_request
Matrix: build
build-docker
8m 36s
build-docker
Matrix: collections-c
Matrix: deploy-docs
Matrix: gillian_c2_tests
Matrix: gillian_c_tests
Matrix: gillian_js_tests
Matrix: test262
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 7 warnings
gillian_c_tests (ubuntu-latest)
Process completed with exit code 2.
gillian_js_tests (ubuntu-latest)
Process completed with exit code 125.
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-docker
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
gillian_c2_tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
gillian_c_tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
collections-c (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
gillian_js_tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test262 (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
Linux-docs
2.72 MB
Linux-opam
940 MB
macOS-opam
833 MB