Skip to content

WIP: construct motives non-monadically #2175

WIP: construct motives non-monadically

WIP: construct motives non-monadically #2175

Triggered via push October 4, 2024 18:26
Status Failure
Total duration 13m 2s
Artifacts

makefile.yml

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

Annotations

2 errors and 1 warning
build (ubuntu-latest)
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
build (ubuntu-latest)
Process completed with exit code 143.
build (macos-14)
Cache save failed.