|
|
6b78c20555
|
chore(script): apply shellcheck fixes
|
2023-10-07 10:43:32 +02:00 |
|
|
|
bf6113ce61
|
Unset BROWSER variable to avoid gh/yarn conflict
|
2021-10-19 16:36:17 +02:00 |
|
|
|
c7e549f3b8
|
ghci: further error-handling fixes
|
2021-07-29 08:49:01 +02:00 |
|
|
|
4783293a3d
|
ghci: fix error handling
|
2021-07-27 20:31:27 +02:00 |
|
|
|
5a61ff5770
|
Add ghci script
|
2021-07-27 09:46:44 +02:00 |
|
