CI (Coq, MacOS)

rust: Replaces return an empty tuple by nothing (void). #3792

Sign in to view logs

Summary
Jobs
- build-macos
Run details
- Usage
- Workflow file

Re-run triggered September 26, 2023 18:10

JasonGross

#1670

armfazh:rust_removeReturn

Status Failure

Total duration 3h 2m 4s

Artifacts –

coq-macos.yml

on: pull_request

Annotations

10 errors

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

build-macos

all

build-macos

test

build-macos

src/Coqprime/Tactic/Tactic.v

build-macos

src/Rewriter/Util/IffT.v

build-macos

src/Rewriter/Util/GlobalSettings.v

build-macos

all

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

src/Util/GlobalSettings.v

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

src/Util/IffT.v

build-macos

Process completed with exit code 1.