switch to official idris2 repo #103

Sign in to view logs

Triggered via pull request January 11, 2024 04:37

opened #110

nix-improvements

Status Success

Total duration 16s

Artifacts –

checks.yml

on: pull_request