Skip to content

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

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

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

Triggered via pull request March 18, 2025 16:07
Status Failure
Total duration 13m 50s
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.