Skip to content

vcl-ut: build Idris2 0.8.0 from pinned source in CI (dead setup-idris…

54c2d27
Select commit
Loading
Failed to load commit list.
Merged

vcl-ut Phase 4: discharge layout + L6-L10 join-closure proof debt (standards#124) #24

vcl-ut: build Idris2 0.8.0 from pinned source in CI (dead setup-idris…
54c2d27
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar