Skip to content
check

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

Sign in to view logs

Deal with agda2-mode / agda-input merge

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

Triggered via push July 20, 2024 03:59
@marienzmarienz
pushed fb332af
flake-update
Status Success
Total duration 10m 26s
Artifacts –

check.yml

on: push
check
10m 18s
check
Fit to window
Zoom out
Zoom in