Build

Rocq Pointers #1712

Sign in to view logs

Triggered via pull request November 24, 2025 10:56

synchronize #209

lefterislazar:rocq-pointers

Status Failure

Total duration 18m 45s

Artifacts –

build.yml

on: pull_request

Matrix: build

Annotations

2 errors

build (ubuntu-latest)

Process completed with exit code 1.

build (macos-latest)

Process completed with exit code 1.