Skip to content
CI (Coq, Debian)

Only upload one copy of linux binaries to releases #295

Sign in to view logs

Only upload one copy of linux binaries to releases

Only upload one copy of linux binaries to releases #295

Triggered via pull request November 13, 2023 06:14
@JasonGrossJasonGross
synchronize #1721
JasonGross:standalone-package-only-static-release
Status Success
Total duration 5h 6m 58s
Artifacts 3
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-debian.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone-dry-run
11s
publish-standalone-dry-run
debian-check-all
0s
debian-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
sid
Makefile.coq:844: src/Coqprime/Tactic/Tactic.v
sid
Makefile.coq.noex:844: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/groundcbv.v
sid
Makefile.coq.noex:410: all
sid
Makefile:42: noex
sid
Makefile:102: bedrock2_noex

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-sid Expired
1.9 GB
ExtractionOCaml-sid Expired
2.17 GB
standalone-sid Expired
39.2 MB