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

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

ci-sphinx.yml

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