idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-07 08:18:12 +03:00
Code Issues Projects Releases Wiki Activity
369 Commits 6 Branches 9 Tags 118 MiB
f007c7816e
Commit Graph

5 Commits

Author SHA1 Message Date
Niklas Larsson
b2ce91fec4 Run the self-hosting step in CI 
The latest Github Actions windows image contains msys2 so use that.
Also use gcc that comes with the image to save downloading clang.

Skip Racket as it's slow enough already.
 2020-05-25 18:29:59 +02:00
Niklas Larsson
dbffcce112 Merge bootstrap for unix and windows 2020-05-23 14:51:00 +02:00
Edwin Brady
9cc4cba065 Change executable name 
I think we can be the official Idris2 now
 2020-05-20 13:31:04 +01:00
Kamil Shakirov
b801b97fcc Refactor makefiles 2020-05-19 18:50:47 +06:00
Edwin Brady
dec7dff622 Add libraries 2020-05-18 14:00:08 +01:00