Skip to content

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

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

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

Triggered via pull request March 18, 2025 17:19
Status Failure
Total duration 23m 50s
Artifacts

install.yml

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

Annotations

18 errors