Skip to content
Sphinx

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

Sign in to view logs

idris2 --init doesnt check the name of a package

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

Triggered via pull request July 29, 2024 14:32
@Matthew-MosiorMatthew-Mosior
synchronize #3360
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Status Success
Total duration 33s
Artifacts –

ci-sphinx.yml

on: pull_request
Sphinx
22s
Sphinx
Fit to window
Zoom out
Zoom in