Skip to content
Lint

Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) #1234

Sign in to view logs

Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package)

Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) #1234

Triggered via pull request January 14, 2024 14:09
@fingolfinfingolfin
synchronize #5585
fingolfin:mh/curdir
Status Success
Total duration 40s
Artifacts –

lint.yml

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