Skip to content

Bump rewriter from e2721fc to 2f9a755 #3817

Bump rewriter from e2721fc to 2f9a755

Bump rewriter from e2721fc to 2f9a755 #3817

Triggered via pull request October 18, 2023 16:12
Status Success
Total duration 3h 4m 40s
Artifacts 1

coq-macos.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

9 errors
build-macos: rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/syntactic_unify.v#L1
/Users/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/syntactic_unify.v
build-macos
all
build-macos
test
build-macos
src/Coqprime/Tactic/Tactic.v
build-macos
src/Rewriter/Util/IffT.v
build-macos
src/Rewriter/Util/GlobalSettings.v
build-macos
all
build-macos: src/Util/GlobalSettings.v#L1
src/Util/GlobalSettings.v
build-macos: src/Util/IffT.v#L1
src/Util/IffT.v

Artifacts

Produced during runtime
Name Size
ExtractionOCaml Expired
1.83 GB