Skip to content

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

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

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

Triggered via pull request March 18, 2025 17:14
Status Failure
Total duration 21m 31s
Artifacts

install.yml

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

Annotations

18 errors