Skip to content

switch CI back to upstream Idris project#70

Merged
gallais merged 1 commit intofrex-project:mainfrom mattpolzin:back-to-main-idrisMar 20, 2024

Commits

Commits on Mar 19, 2024