Skip to content

Different auto-unfold level #1036

Different auto-unfold level

Different auto-unfold level #1036

Triggered via pull request July 4, 2024 22:41
Status Cancelled
Total duration 1m 28s
Artifacts

ci.yml

on: pull_request
Matrix: build
Matrix: collections-c
Matrix: deploy-docs
Matrix: gillian_c_tests
Matrix: gillian_js_tests
Matrix: kanillian_c_tests
Matrix: test262
Fit to window
Zoom out
Zoom in

Annotations

6 errors
build (ubuntu-latest)
The run was canceled by @giltho.
build (ubuntu-latest)
The operation was canceled.
build (macos-latest)
The run was canceled by @giltho.
build (macos-latest)
The operation was canceled.
build-docker
The run was canceled by @giltho.
build-docker
The operation was canceled.