Skip to content
Sphinx

idris2 --init doesnt check the name of a package #4453

Sign in to view logs

idris2 --init doesnt check the name of a package

idris2 --init doesnt check the name of a package #4453

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sphinx
22s
22s