Build PR

Support camlp5 8.04.0 #23

Sign in to view logs

Triggered via pull request August 5, 2026 14:31

Kakadu

synchronize #34

camlp5.8.04

Status Success

Total duration 4m 45s

Artifacts –

PR.yml

on: pull_request

Matrix: build