Enable compilation without the coq shim on Rocq 9.0 #111
Triggered via pull request
February 11, 2025 14:05
proux01
Status
Success
Total duration
11m 26s
Artifacts
–
Annotations
30 warnings
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (coqorg/coq:8.20)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:9.0)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|
|
docker (rocq/rocq-prover:dev)
To avoid stack overflow, large numbers in nat are interpreted as
|