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

Sign in to view logs

Triggered via pull request July 26, 2024 18:21

synchronize #3360

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

Status Success

Total duration 1m 48s

Artifacts –

ci-super-linter.yml

on: pull_request