Skip to content
Build on Dune PM

allow begin end on one line in safe cases #155

Sign in to view logs

allow begin end on one line in safe cases

allow begin end on one line in safe cases #155

Triggered via pull request December 2, 2025 17:54
@EmileTrotignonEmileTrotignon
synchronize #2745
EmileTrotignon:beginend-no-break
Status Success
Total duration 6m 56s
Artifacts –

build-dune.yml

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

Annotations

2 errors
build (ubuntu-latest)
Process completed with exit code 1.
build (macos-latest)
Process completed with exit code 1.