Skip to content
Lint

Add Exec2, the "better version of Exec" #1396

Sign in to view logs

Add Exec2, the "better version of Exec"

Add Exec2, the "better version of Exec" #1396

Triggered via pull request February 12, 2024 13:31
@fingolfinfingolfin
synchronize #5103
mh/Exec2
Status Success
Total duration 45s
Artifacts –

lint.yml

on: pull_request
gaplint
34s
gaplint
Fit to window
Zoom out
Zoom in