Skip to content

Stop relying on replace by automatic assumption-based solving #3747

Stop relying on replace by automatic assumption-based solving

Stop relying on replace by automatic assumption-based solving #3747

Triggered via pull request September 11, 2023 13:32
Status Success
Total duration 4h 18m 56s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-windows.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size
ExtractionOCaml Expired
1.88 GB