Back to pull request #19099

Experiment: Allow indented regions after operators #15328

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request November 28, 2023 22:29

odersky

synchronize #19099

dotty-staging:change-indent-operators

Status Success

Total duration 19s

Artifacts –

cla.yml

on: pull_request