Sphinx

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

Sign in to view logs

Triggered via push November 19, 2025 15:15

main

Status Success

Total duration 52s

Artifacts –

ci-sphinx.yml

on: push