Skip to content
CI (Coq, Debian)

Bump rupicola from 3cd33c8 to 1c6bef7 (#1639) #66

Sign in to view logs

Bump rupicola from 3cd33c8 to 1c6bef7 (#1639)

Bump rupicola from 3cd33c8 to 1c6bef7 (#1639) #66

Triggered via push August 25, 2023 05:18
@dependabotdependabot[bot]
pushed 5978c17
master
Status Success
Total duration 8h 12m 14s
Artifacts 4

coq-debian.yml

on: push
Matrix: build
test-amd64
3h 49m
test-amd64
Fit to window
Zoom out
Zoom in

Annotations

15 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/Lift1Prop.v
sid
Makefile.coq.noex:410: all
sid
Makefile:42: noex
sid
Makefile:102: bedrock2_noex
bookworm
Makefile.coq:793: src/Coqprime/Tactic/Tactic.v
bookworm
Makefile.coq.noex:793: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/Lift1Prop.v
bookworm
Makefile.coq.noex:409: all
bookworm
Makefile:42: noex
bookworm
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/Lift1Prop.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-bookworm Expired
1.83 GB
ExtractionHaskell-sid Expired
1.83 GB
ExtractionOCaml-bookworm Expired
2.17 GB
ExtractionOCaml-sid Expired
2.17 GB