Skip to content
Build on Dune PM

Ignore extensions inside attributes for the unused extension check #135

Sign in to view logs

Ignore extensions inside attributes for the unused extension check

Ignore extensions inside attributes for the unused extension check #135

Triggered via pull request December 10, 2025 12:24
@SkepfyrSkepfyr
synchronize #616
janestreet:jrickard/ignore-extensions-in-attributes
Status Success
Total duration 6m 29s
Artifacts –

dune-build.yml

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