`idris2 --init` doesnt check the name of a package #6312

Sign in to view logs

Triggered via pull request July 26, 2024 17:11

synchronize #3360

Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package

Status Success

Total duration 2m 1s

Artifacts –

ci-super-linter.yml

on: pull_request