idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 11:05:17 +03:00
Code Issues Projects Releases Wiki Activity
852 Commits 5 Branches 9 Tags 99 MiB
eca9c12cf5
Commit Graph

16 Commits

Author SHA1 Message Date
Niklas Larsson
3e53551d8b
Fix racket CI 2020-06-18 16:00:26 +02:00
Niklas Larsson
0a4667c589
Merge pull request #277 from melted/fix_autocrlf 
Disable autocrlf on WIndows CI
 2020-06-11 16:37:59 +02:00
Niklas Larsson
5858365f18 Disable autocrlf on WIndows CI 2020-06-11 16:25:48 +02:00
Niklas Larsson
fc322bd699 Add a bootstrap from Idris 1 CI script 2020-06-11 12:20:50 +02:00
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
3e62241c04 Add a macOS CI workflow 2020-05-24 15:23:50 +02:00
Niklas Larsson
06ff156e29 Shorten names on CI icons 
Link them to the respective workflow page.
Rename to be more consistent.
 2020-05-24 14:44:28 +02:00
wchresta
f6564ce069 Add CI for bootstrapping via racket 
* Remove Travis as described in #127
 2020-05-24 10:09:14 +01:00
wchresta
262f5bb213 Add GitHub CI action that bootstraps on Ubuntu 2020-05-23 16:38:32 -04:00
Niklas Larsson
efa7357730 Improve the name of the job 2020-05-23 12:18:42 +02:00
Niklas Larsson
63e2c2819f Implement Github Actions CI 2020-05-23 11:11:43 +02:00
Kamiλ Shakirov
2c85940031
Correct ‘Installation problem’ issue template 2020-05-21 09:33:47 +06:00
Edwin Brady
b2e7c40da9 Remove duplicate template 2020-05-20 22:04:22 +01:00
Edwin Brady
f819c0b855
Update installation-problem.md 2020-05-20 22:03:14 +01:00
Edwin Brady
987b2b0a77
Update feature-requests-and-proposals.md 2020-05-20 21:59:14 +01:00
Edwin Brady
918bf58763 Copy issue templates from Idris2-boot 2020-05-20 21:51:58 +01:00