Skip to content
cachix

Deal with agda2-mode / agda-input merge #22

Sign in to view logs

Deal with agda2-mode / agda-input merge

Deal with agda2-mode / agda-input merge #22

Triggered via push July 20, 2024 04:19
@marienzmarienz
pushed cfd7550
main
Status Success
Total duration 24m 9s
Artifacts –

cachix.yml

on: push
build
24m 1s
build
Fit to window
Zoom out
Zoom in