Skip to content
CI (Coq, Debian)

Allow passing CAMLEXTRAFLAGS for standalone build (#1717) #266

Sign in to view logs

Allow passing CAMLEXTRAFLAGS for standalone build (#1717)

Allow passing CAMLEXTRAFLAGS for standalone build (#1717) #266

Triggered via push November 12, 2023 08:45
@JasonGrossJasonGross
pushed 98356db
master
Status Success
Total duration 8h 25m 26s
Artifacts 3

coq-debian.yml

on: push
Matrix: build
test-amd64
4h 20m
test-amd64
debian-check-all
8s
debian-check-all
Fit to window
Zoom out
Zoom in

Annotations

10 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
test-amd64
Makefile.coq:844: src/Coqprime/Tactic/Tactic.v
test-amd64
Makefile.coq.noex:844: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/groundcbv.v
test-amd64
Makefile.coq.noex:410: all
test-amd64
Makefile:42: noex
test-amd64
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