Skip to content
CI

Remove Formula #1159

Sign in to view logs

Remove Formula

Remove Formula #1159

Triggered via pull request December 27, 2024 20:06
@N1arkN1ark
synchronize #326
N1ark:no-more-formula
Status Failure
Total duration 43m 0s
Artifacts 3

ci.yml

on: pull_request
Matrix: build
build-docker
8m 59s
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

1 error and 7 warnings
gillian_c_tests (ubuntu-latest)
Process completed with exit code 2.
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_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
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_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
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
944 MB
macOS-opam
837 MB