Add support for more assembly · mit-plv/fiat-crypto@b57e58e

Triggered via pull request March 1, 2025 09:40

JasonGross

opened #2016

JasonGross:more-asm

Status Cancelled

Total duration 33m 23s

Artifacts –

coq-macos.yml

on: pull_request

Matrix: build

Matrix: publish-standalone

Matrix: test-standalone

3 errors

Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-macos-13-4.11.1-more-asm' exists

Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-macos-14-4.14.2-more-asm' exists

Process completed with exit code 1.