Skip to content
Lint PR Title

Update the language spec to describe new features, particularly Editions #56

Sign in to view logs

Update the language spec to describe new features, particularly Editions

Update the language spec to describe new features, particularly Editions #56

Triggered via pull request June 6, 2024 15:00
@jhumpjhump
synchronize #47
jh/editions
Status Success
Total duration 15s
Artifacts –

pr-title.yaml

on: pull_request
lint  /  lint
4s
lint / lint
Fit to window
Zoom out
Zoom in