|
926efbd2
|
2022-04-20T14:20:39
|
|
ci: use the runner's uid/gid
Use the runner's uid/gid for the containers for sanity when sharing
files across volumes.
|
|
|
825dd544
|
2021-09-20T12:41:13
|
|
ci: pull libssh2 from www.libssh2.org
libssh2.org and www.libssh2.org were previously identical; now this is a
redirect.
|
|
|
dbcb1cd7
|
2021-08-23T15:02:49
|
|
ci: update container versions
Update all the container versions to force a rebuild so that they'll get
tagged with latest (due to changes in the CI scripts).
|
|
|
b140e22e
|
2021-08-08T11:07:43
|
|
ci: remove the docker entrypoint
Omitting an entrypoint.sh to configure the container and instead
depending on docker primitives allows us to be more portable. (If a
distribution uses a different mechanism for adding users, we need not
have multiple entrypoint.sh files or invariants within it; instead we
can configure that in the dockerfile itself along with all the other
distribution specific components.)
|
|
|
5a9d16dc
|
2020-11-23T14:28:26
|
|
ci: support multi-arch docker builds
Provide the base to our docker images and run with the QEMU docker
support optionally.
|
|
|
3d6b9035
|
2020-11-18T18:08:23
|
|
ci: stop using deprecated set-env in GitHub Actions
(And move the ci scripts into the `ci` directory.)
|