Skip to content
CI (Coq, MacOS)

Saturated arithmetic experiment #3736

Sign in to view logs

Saturated arithmetic experiment

Saturated arithmetic experiment #3736

Triggered via pull request August 23, 2023 21:29
@andres-erbsenandres-erbsen
synchronize #1609
andres-erbsen:saturated-experiment
Status Failure
Total duration 29s
Artifacts –

coq-macos.yml

on: pull_request
build-macos
14s
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