Skip to content
indentation

Update CI workflows and opam lock file to match current master #14565

Sign in to view logs

Update CI workflows and opam lock file to match current master

Update CI workflows and opam lock file to match current master #14565

Triggered via push May 7, 2026 11:02
@CopilotCopilot
pushed 98fa91e
region-escape
Status Success
Total duration 1m 39s
Artifacts –

indentation.yml

on: push
Matrix: indentation
Fit to window
Zoom out
Zoom in