Skip to content

Bump rewriter from 5d274d2 to 3e84ec2 (#1728) #3981

Bump rewriter from 5d274d2 to 3e84ec2 (#1728)

Bump rewriter from 5d274d2 to 3e84ec2 (#1728) #3981

Triggered via push November 13, 2023 19:11
Status Success
Total duration 7h 57m 24s
Artifacts 2

coq-macos.yml

on: push
test-standalone
22s
test-standalone
publish-standalone
12s
publish-standalone
macos-check-all
2s
macos-check-all
Fit to window
Zoom out
Zoom in

Annotations

9 errors
build: 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
all
build
test
build
src/Coqprime/Tactic/Tactic.v
build
src/Rewriter/Util/IffT.v
build
src/Rewriter/Util/GlobalSettings.v
build
all
build: src/Util/GlobalSettings.v#L1
src/Util/GlobalSettings.v
build: src/Util/IffT.v#L1
src/Util/IffT.v

Artifacts

Produced during runtime
Name Size
ExtractionOCaml Expired
1.83 GB
standalone-macos Expired
27 MB