Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Pick latest GHC if availableHEADmaster | Tom Smeding | 2024-09-16 |
* | Add Nat to initial ghci environment for lols | Tom Smeding | 2023-04-22 |
* | start.sh: mkdir /tmp | Tom Smeding | 2022-10-14 |
* | Limit disk usage | Tom Smeding | 2022-06-14 |
* | Cleanup in start.sh | Tom Smeding | 2022-06-14 |
* | Early-catch large show output with -interactive-print | Tom Smeding | 2022-06-14 |
* | Set memory limit to 500MiB | Tom Smeding | 2022-06-14 |
* | Initial | Tom Smeding | 2022-06-14 |