Skip to content

feat: Add support for user-defined builtins with Dune plugins #655

feat: Add support for user-defined builtins with Dune plugins

feat: Add support for user-defined builtins with Dune plugins #655

Triggered via pull request March 18, 2025 17:00
Status Failure
Total duration 12m 25s
Artifacts

install.yml

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

Annotations

1 error
install (ocaml-base-compiler.4.08.1, ubuntu-latest, dolmen dolmen_type dolmen_loop)
Process completed with exit code 31.