Skip to content
Back to pull request #1725

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

Sign in to view logs

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

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

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

coq-windows.yml

on: pull_request
build
2h 47m
build
test-standalone
22s
test-standalone
publish-standalone
7s
publish-standalone
windows-check-all
0s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
build
Makefile.coq:830: src/Coqprime/Tactic/Tactic.v
build
Makefile.coq.noex:830: D:/a/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/AbsintWordToZ.v
build
Makefile.coq.noex:409: all
build
Makefile:42: noex
build
Makefile:102: bedrock2_noex

Artifacts

Produced during runtime
Name Size
ExtractionOCaml Expired
1.88 GB
standalone-windows Expired
30.6 MB