Skip to content
Back to pull request #1725

Adapt to coq/coq#18273 (Ltac2 supports head reduction) #311

Sign in to view logs

Adapt to coq/coq#18273 (Ltac2 supports head reduction)

Adapt to coq/coq#18273 (Ltac2 supports head reduction) #311

Triggered via pull request November 13, 2023 19:12
@JasonGrossJasonGross
synchronize #1725
SkySkimmer:ltac2-head-red
Status Success
Total duration 8h 27m 23s
Artifacts 3

coq-debian.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
11s
publish-standalone
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