CI (Coq, MacOS)

Patch BoringSSL files for C tests #3820

Triggered via pull request October 22, 2023 17:44

JasonGross

synchronize #1692

JasonGross:patch-boring

Status Cancelled

Total duration 49m 53s

Artifacts –

coq-macos.yml

on: pull_request

11 errors

Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-patch-boring' exists

build-macos: rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/syntactic_unify.v#L1

/Users/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/syntactic_unify.v

all

test

src/Coqprime/Tactic/Tactic.v

src/Rewriter/Util/IffT.v

src/Rewriter/Util/GlobalSettings.v

all

build-macos: src/Util/GlobalSettings.v#L1

src/Util/GlobalSettings.v

build-macos: src/Util/IffT.v#L1

src/Util/IffT.v

The operation was canceled.