Lint Code Base

[ nix ] Point emacs-src to idris-community/idris2-mode (#3682) #290

Sign in to view logs

Triggered via push November 19, 2025 15:15

main

Status Success

Total duration 1m 53s

Artifacts –

ci-super-linter.yml

on: push