8000 Releases · mortberg/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Releases: mortberg/agda

Nightly Build (7bda162@master)

03 May 15:37
@github-actions github-actions
nightly
7bda162
Compare
Choose a tag to compare
Nightly Build (7bda162@master) Latest
Latest 
[ workflows ] deploy: downgrade to ubuntu-18.04

Attempt that didn't work: forcing GHCup to reinstall GHC 9.2.2
Assets 5
Loading
0