Polynorm proofs #494

Sign in to view logs

Summary
Jobs
- Linux
- macOS
Run details
- Usage
- Workflow file

Re-run triggered July 29, 2024 11:07

mhk119

#124

mhk119:polynorm

Status Failure

Total duration 2m 9s

Artifacts –

ci.yml

on: pull_request

Matrix: build

Annotations

3 errors

Process completed with exit code 1.

The job was canceled because "macOS_macos-latest" failed.

The operation was canceled.