Skip to content

Bump rupicola from 0e001bb to 3691f9a #212

Bump rupicola from 0e001bb to 3691f9a

Bump rupicola from 0e001bb to 3691f9a #212

Triggered via pull request November 9, 2023 19:05
Status Success
Total duration 6h 32m 23s
Artifacts 2

coq-debian.yml

on: pull_request
Matrix: build
debian-check-all
0s
debian-check-all
Fit to window
Zoom out
Zoom in

Annotations

10 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
test-amd64
Makefile.coq:844: src/Coqprime/Tactic/Tactic.v
test-amd64
Makefile.coq.noex:844: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/groundcbv.v
test-amd64
Makefile.coq.noex:410: all
test-amd64
Makefile:42: noex
test-amd64
Makefile:102: bedrock2_noex

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-sid Expired
1.9 GB
ExtractionOCaml-sid Expired
2.17 GB