Skip to content
Rocq

Fix diff-prog.py for macOS #70

Sign in to view logs

Fix diff-prog.py for macOS

Fix diff-prog.py for macOS #70

Triggered via pull request April 29, 2025 11:22
@dc-makdc-mak
opened #116
dc-mak:fix-diff-prog-macos
Status Cancelled
Total duration 1m 34s
Artifacts –

rocq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (5.2.0)
Canceling since a higher priority waiting request for 'ci-Rocq-refs/pull/116/merge' exists
build (5.2.0)
The operation was canceled.