Skip to content
CI (Coq, Debian)

Saturated arithmetic experiment #58

Sign in to view logs

Saturated arithmetic experiment

Saturated arithmetic experiment #58

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

coq-debian.yml

on: pull_request
Matrix: build
test-amd64
0s
test-amd64
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-bookworm Expired
4.69 KB
ExtractionHaskell-sid Expired
4.69 KB
ExtractionOCaml-bookworm Expired
3.12 KB
ExtractionOCaml-sid Expired
3.12 KB
generated-files-bookworm Expired
4.71 MB
generated-files-sid Expired
4.71 MB