1
1
mirror of https://github.com/tweag/asterius.git synced 2024-09-21 05:48:04 +03:00
Commit Graph

9 Commits

Author SHA1 Message Date
George Karachalias
26c84c2348
Fix some typos in docs (#612) 2020-04-24 18:00:46 +02:00
Shao Cheng
cd66be47b9
Run profiled build on CI (#594) 2020-04-20 10:31:30 +02:00
Shao Cheng
ddb3794972
Improve the hacking guide, .ghcid (#582) 2020-04-15 11:41:40 +02:00
Siddharth Bhat
ba777ab6af Update docs about running validating circleCI Config 2019-05-20 18:23:52 +02:00
Siddharth Bhat
2d54d4bca4 added circleci local build debugging instructions to HACKING.md 2019-05-20 18:23:52 +02:00
Shao Cheng
6387dcf397
Update wabt (#120) 2019-05-15 12:36:44 +08:00
Siddharth
a89fd8502a
Add some instructions on how to add a test case 2019-05-14 17:26:50 +02:00
Shao Cheng
30101af541 Fix a silly typo 2019-05-14 20:51:15 +08:00
Shao Cheng
035f971c55 Add a hacking guide 2019-05-14 20:45:02 +08:00