4a79b95efc
Tear down old containers properly
2021-03-21 13:55:33 -07:00
219fbed342
Start work on depgraph runner
2021-03-20 22:15:49 -07:00
b99d17bcd3
Preliminary containerization work
2021-03-19 23:04:59 -07:00
83208355d4
Load language configurations into server
2021-03-18 19:03:28 -07:00
feb5aad8f0
Build per-language Docker images
2021-03-18 17:04:21 -07:00
40c8c08bed
Make riju-init-volume more robust
2021-03-14 17:18:06 -07:00
0f3750b202
Add some more tags
2021-03-14 17:18:02 -07:00
e2fa09df47
Bugfix for provision.bash
2021-03-14 16:12:43 -07:00
920d58b781
Upgrade to gp3
...
This is required for sufficient IO performance to actually pull a
Docker image.
2021-03-13 23:07:27 -08:00
c3a2aa90b2
Fix misc deployment script errors
2021-03-13 23:07:23 -08:00
43f6652bc2
Upgrade to t3.small
...
We're running low on memory when pulling the Docker image.
2021-03-13 22:05:16 -08:00
46f3079741
Install 'tree' in runtime image
2021-03-13 16:40:57 -08:00
4a804fc58a
Wait longer for Unison test
2021-03-13 11:17:43 -08:00
8d2c1bcdf2
Fix cran_repo grep pipeline
2021-03-13 11:17:36 -08:00
770f54e6d2
Move riju-init-volume to runtime
2021-03-13 10:56:24 -08:00
b1501f9d5d
Add some empty files
2021-03-13 10:55:41 -08:00
f76518a8b6
Work on JSON Schema docstrings
2021-03-13 10:55:29 -08:00
2923aaef65
Start writing run command tutorial
2021-03-13 10:55:22 -08:00
eccda2194a
Initialize EBS volume for use with Docker
2021-03-06 16:52:39 -08:00
988179385a
Fix indentation in Makefile
2021-02-20 17:54:32 -08:00
c42dc69d58
Tutorial: debug language installation
2021-02-20 12:20:07 -08:00
2aac76d168
Validate all language configs with JSON Schema
2021-02-20 12:13:23 -08:00
741a7a69f1
Install moreutils in runtime image
2021-02-20 11:35:45 -08:00
9e621180a7
Drop last usage of riju-cdn
2021-02-20 11:34:50 -08:00
96280a9235
Fix hardcoded paths in Limbo
2021-02-20 11:34:46 -08:00
9243a10a4d
Fix hardcoded paths in Kitten
2021-02-20 11:00:39 -08:00
85baab80b5
Fix hardcoded paths in Idris
2021-02-20 10:56:22 -08:00
83df706b57
Fix hardcoded paths in Clean
2021-02-20 10:05:39 -08:00
c2915db424
Reformat helloInput for sed
2021-02-19 21:34:49 -08:00
c581229f59
Remove no longer needed workaround
2021-02-07 20:56:07 -08:00
0dcfa3d062
Work around really sad packaging error
2021-02-07 20:55:11 -08:00
029a78b58b
Minor tutorial improvements
2021-02-07 15:02:00 -08:00
89e3b3f488
Re-enable TLS for Red
...
It was disabled due to a misunderstanding.
2021-02-07 09:51:39 -08:00
9a548bb95f
Fix purescript .cache ownership problem
...
We actually don't want to pass in HOME via sudo, as some
programs (such as the npm install script for purescript) will respect
it and write root-owner .cache things into /home/riju (causing later
failures).
2021-02-07 09:48:38 -08:00
45cd08e94e
Fix permissions on sqlite build dir
2021-02-07 09:35:39 -08:00
d4ab62307f
Re-enable sqls for all databases
...
This reverts commit 97b1f05118https://github.com/lighttiger2505/sqls/issues/39 is solved.
2021-02-07 09:35:22 -08:00
ab43225e21
Cost reduction: use cold HDD for EBS volume
2021-02-06 21:31:57 -08:00
a2d889860d
Start writing tutorial
2021-02-06 21:29:16 -08:00
82c7f6d4af
Re-enable Hack
2021-01-25 20:18:22 -08:00
2e928aae46
Add comment
2021-01-24 21:32:00 -08:00
2566fcb6c5
Switch to HTTPS for D, yay!
2021-01-24 21:22:01 -08:00
98612d6bcc
Fix typo in Swift configuration
2021-01-24 14:22:25 -08:00
fed2b4571d
Download anonymously from S3
2021-01-24 10:07:01 -08:00
b13b2aca86
Install htop
2021-01-24 10:05:41 -08:00
d78dbaf9d8
Disallow Unison from running in CI
2021-01-24 10:05:32 -08:00
373bb01222
Style changes
2021-01-24 10:05:26 -08:00
09bd314bb8
Link to documentation from README
2021-01-23 21:48:47 -08:00
df83dbbdb7
Add missing DEPLOY_SSH_PRIVATE_KEY
2021-01-23 21:41:03 -08:00
49e18e9830
Fix deprecated Express methods
2021-01-23 21:40:58 -08:00
91fa474838
Reduce ENTRYPOINT verbosity
2021-01-23 21:40:49 -08:00
Radon Rosborough