Build PR

Support camlp5 8.04.0 #7

Sign in to view logs

Re-run triggered November 20, 2025 15:44

Kakadu

#34

camlp5.8.04

Status Cancelled

Total duration 1d 0h 0m 3s

Artifacts –

PR.yml

on: pull_request

Matrix: build

Annotations

1 error

build (ubuntu-20.04, 4.10.1)

The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s