Skip to content

Add from_bytes asm tests (take 2) #4837

Add from_bytes asm tests (take 2)

Add from_bytes asm tests (take 2) #4837

Triggered via pull request March 11, 2025 19:12
Status Cancelled
Total duration 4h 41m 11s
Artifacts

coq-windows.yml

on: pull_request
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
3s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 errors
windows
Canceling since a higher priority waiting request for CI (Coq, Windows)-revert-2045-revert-2043-from-bytes-asm-tests exists
windows-check-all
Process completed with exit code 1.