Skip to content

paperify spec

paperify spec #4349

Triggered via pull request April 4, 2024 20:36
Status Failure
Total duration 54s
Artifacts

coq-windows.yml

on: pull_request
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
0s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
windows
remote error: upload-pack: not our ref eb0c86ccc24dcae91ae9df542cddfdcc220f0d4e
windows
Fetched in submodule path 'rupicola/bedrock2', but it did not contain eb0c86ccc24dcae91ae9df542cddfdcc220f0d4e. Direct fetching of that commit failed.
windows
Failed to recurse into submodule path 'rupicola'
windows
The process 'C:\Program Files\Git\bin\git.exe' failed with exit code 128
windows-check-all
Process completed with exit code 1.