Skip to content
check

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

Sign in to view logs

Deal with agda2-mode / agda-input merge

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

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

check.yml

on: push
check
12m 5s
check
Fit to window
Zoom out
Zoom in