Meisam 2c6fd67276 set a non-root user for containers (#2496) ...

* change root user in dockerfile

* build container on push/pr

* grab docker build params from env

* consolidate container build

* rm unused container build workflow/script

* cleanup ci

* set user for earthly container build

* rm ci docker build for develop branch

* checkout full repo for docker builds

* read earthly push from env

* cleanup ci

* rm unsupported option for actions/checkout@v3

* check dockerfile in ci

* add dockerfile build to earthfile

* authenticate to GH only on schedule builds

* accurate name for dev container builder script

* add note to the dockerfile about earthfile

* document dev build process more clearly

2023-01-04 14:15:12 -08:00

..

develop

set a non-root user for containers (#2496)

2023-01-04 14:15:12 -08:00

web

Add server-side hydration of initial config+status. Closes #1964

2022-09-10 15:37:07 -07:00

.gitignore

Do not highlight usernames inside links (#366)

2020-11-17 17:29:03 -08:00