Skip to content

Support camlp5 8.04.0 #8

Support camlp5 8.04.0

Support camlp5 8.04.0 #8

Triggered via pull request July 31, 2026 18:56
@KakaduKakadu
synchronize #34
camlp5.8.04
Status Cancelled
Total duration 1d 0h 0m 2s
Artifacts

PR.yml

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

Annotations

1 error
build (ubuntu-20.04, 4.10.1)
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s