Skip to content

Files

Latest commit

a171530 · Jan 24, 2024

History

History
62 lines (53 loc) · 1.6 KB

agda-ci.yml

File metadata and controls

62 lines (53 loc) · 1.6 KB