Skip to content

Saturated arithmetic experiment #3734

Saturated arithmetic experiment

Saturated arithmetic experiment #3734

Triggered via pull request August 22, 2023 12:16
Status Failure
Total duration 31s
Artifacts

coq-macos.yml

on: pull_request
build-macos
16s
build-macos
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build-macos
remote error: upload-pack: not our ref 808f53eb2dd6e50835954d1d8aa02f73ca36810d
build-macos
Fetched in submodule path 'rewriter', but it did not contain 808f53eb2dd6e50835954d1d8aa02f73ca36810d. Direct fetching of that commit failed.
build-macos
The process '/usr/local/bin/git' failed with exit code 128