Yvan Sraka
54ea656103
Fix error: failed to create directory via template '/tmp/nix-shell.XXXXXX/' ( #157 )
...
mktemp: failed to create directory via template '/tmp/nix-shell.xsPtzA/nix-shell.XXXXXX': No such file or directory
2024-06-19 10:48:32 +00:00
Yvan Sraka
35d560306d
Retrieve ~/.cabal-devx and ~/.cache from GHA cache in Codespaces ( #154 )
2024-04-16 08:33:56 +00:00
Yvan Sraka
5a5783037a
Fix GHA cache usage in devx-container ... ( #151 )
2024-04-13 08:52:20 +00:00
Yvan Sraka
aab645815c
Fix a typo in Dockerfile ( #150 )
2024-04-13 08:28:02 +00:00
Yvan Sraka
b37cc6f3d4
Refactor wait-and-upload GitHub Action ( #144 )
2024-04-13 08:06:14 +00:00
Yvan Sraka
ce013269ab
Update DevContainer settings and instructions in README ( #149 )
2024-04-13 08:02:56 +00:00
Yvan Sraka
0a5cefb55c
Improve devshell welcome message in GitHub Codespace ( #147 )
2024-04-11 12:04:16 +00:00
Yvan Sraka
fec21531a5
Fix default Haskell VSCode extension settings in GitHub Codespace ( #146 )
2024-04-11 07:09:27 +00:00
Yvan Sraka
b915e67dbf
Fix dev-container image generation for GitHub Codespace ( #145 )
2024-04-10 13:35:38 +00:00
Yvan Sraka
c212848a31
Fix codespace-upload action that wrongly name devx-containers ( #143 )
...
e.g. `x86_64-linux.ghc96-jsfalse` rather than `x86_64-linux.ghc96-js` ...
2024-04-10 08:20:07 +00:00
Yvan Sraka
3e7626140b
Improve GitHub Codespace first-launch time by preloading .cache ( #128 )
2024-04-08 09:27:17 +00:00
Yvan Sraka
4604d892a6
Finish the -iog-full flavor by generating the corresponding devx-container ( #139 )
2024-04-03 16:33:03 +00:00
Yvan Sraka
2f4fa7f42a
Update Dockerfile ( #127 )
2024-02-27 12:45:59 +00:00
Yvan Sraka
bc55fdb1fc
Fix Codespace image generation (always empty Dockerfile ARG...) ( #87 )
...
... This is apparently the default behavior chosen
by Docker when ARG are defined before FROM ... and
indeed Docker don't bother you with any warning :)
2023-08-02 21:23:06 +00:00
Yvan Sraka
6fb97c3d05
Add a GA that build GitHub CodeSpaces containers ( #76 )
...
* Add a GA that build GitHub CodeSpaces containers
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
* Update codespace.yml
2023-07-04 09:40:37 +00:00
