Skip to content

BLOCKED: refactor: replace rewrite with mkEqNDRec #2176

BLOCKED: refactor: replace rewrite with mkEqNDRec

BLOCKED: refactor: replace rewrite with mkEqNDRec #2176

Triggered via pull request October 4, 2024 18:26
Status Failure
Total duration 12m 4s
Artifacts

makefile.yml

on: pull_request
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.