Skip to content

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

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

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

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