Skip to content

Initial release

Choose a tag to compare

View all tags
@myildiz-axendo myildiz-axendo released this 15 Mar 16:00
· 16 commits to master since this release
v1.0.0
d5f4be5 
AXDEVOPS-34: set cache to v3.2.2 due to tar bug

https://github.com/agda/agda/issues/6501#issuecomment-1426988672
Assets 2
Loading