hm/emacs: just use agda2-mode in nixpkgs #791

Sign in to view logs

Triggered via push July 5, 2023 08:08

Status Success

Total duration 7m 7s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check.yml

on: push