CI (Coq, Arch Linux)

Add ZRange.bitwidth, ZRange.of_bitwidth #595

Sign in to view logs

Triggered via pull request March 7, 2025 20:09

JasonGross

opened #2041

JasonGross:bitwidth-range-conversions

Status Cancelled

Total duration 10m 1s

Artifacts 2

coq-archlinux.yml

on: pull_request

test-standalone

publish-standalone-dry-run

archlinux-check-all

Annotations

3 errors

The operation was canceled.

Canceling since a higher priority waiting request for CI (Coq, Arch Linux)-archlinux-bitwidth-range-conversions exists

archlinux-check-all

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size	Digest
ExtractionHaskell-archlinux	6.29 KB	`sha256:d448a8a67d9977e3b444e51e7f9eeac6e0cc272f0124a64d4dcd283e829cf8eb`
ExtractionOCaml-archlinux	5.86 KB	`sha256:80c56a70d302ea1d57784c03f958b8a622c3e6ceac1b2df5933120ace851b564`