This website requires JavaScript.
Explore
Help
Sign in
SunRed
/
myriad
Watch
1
Star
0
Fork
You've already forked myriad
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
70
commits
6
branches
7
tags
183
KiB
1c2ad37d60
Commit graph
3 commits
Author
SHA1
Message
Date
1computer1
42163fab17
run: remove now unneeded
|| true
2020-06-17 01:43:31 -04:00
1computer1
1996ab90ca
eval: limit docker output to not run out of memory
2020-06-07 03:43:41 -04:00
vzwGrey
5922160290
Add docker image for executing Idris
2019-07-22 00:53:23 +02:00