80e3c8493c
chore(gitpod): 🧑💻 update base image and extensions list
...
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-12-03 00:16:51 +00:00
Andrei Jiroh Halili
509b8204a5
build(docker): update base image used for building workspace image
...
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-10-21 10:00:54 +08:00
Andrei Jiroh Halili
bb222552d2
chore(gitpod): bump devenv image to build based on 34a2eb5ce4
...
[skip ci]
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
2023-10-01 22:18:00 +08:00
0bf37f8c53
ci(global): update CI image tags to use latest commit builds
...
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-09-25 14:32:29 +00:00
4ec9834718
chore(pipenv): use pipenv for setting up venvs
...
Also swapped commands too on Gitpod btw.
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-09-24 16:17:38 +00:00
f29b9a6e4a
Use prebuilt image from CI to avoid waiting times [skip ci]
...
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-07-16 17:41:27 +00:00
4df05ae9c4
chore(global): usual commit-them-all to avoid data loss
...
Gonna start over on the workspace due to technical diffculties.
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-05-05 09:24:28 +00:00
d9b6b87724
chore(global): 👷 improve 404 page and Gitpod config, plus some VSC ws config changes
...
Also in this commit, we also apply changes needed for
the use of social cards in the theme we do use.
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-03-24 17:36:48 +00:00
689c755817
chore(gitpod): add config file + update gitignore for venv part
...
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
2023-03-23 17:52:45 +00:00
