check

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

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via push July 20, 2024 04:00

marienz

flake-update

Status Success

Total duration 24m 48s

Artifacts –

check.yml

on: push