Skip to content
CI

Update dune-project #33

Sign in to view logs

Update dune-project

Update dune-project #33

Triggered via push September 1, 2024 05:15
@CharlesAverillCharlesAverill
pushed 4c27d31
main
Status Cancelled
Total duration 36s
Artifacts –

ci.yml

on: push
build_docs
26s
build_docs
build-and-test
26s
build-and-test
publish_docs
0s
publish_docs
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build-and-test
The run was canceled by @CharlesAverill.
build-and-test
The operation was canceled.
build_docs
The run was canceled by @CharlesAverill.
build_docs
The operation was canceled.