Author |
Committer |
Branch |
Timestamp |
Parent |
schanzen |
schanzen |
master |
2023-11-23 20:18 |
master ea2420b4 |
Changeset |
Merge branch 'master' of git+ssh://git.gnunet.org/gnunet |
mod - contrib/ci/Containerfile |
Diff
File |
mod - contrib/ci/ci.sh |
Diff
File |
mod - contrib/ci/jobs/0-build/build.sh |
Diff
File |
mod - contrib/ci/jobs/0-build/job.sh |
Diff
File |
mod - contrib/ci/jobs/2-deb-package/job.sh |
Diff
File |
mod - contrib/ci/jobs/2-deb-package/version.sh |
Diff
File |
mod - contrib/ci/jobs/3-deploy-package/config.ini |
Diff
File |
mod - contrib/ci/jobs/3-deploy-package/job.sh |
Diff
File |
mod - src/service/transport/gnunet-service-transport.c |
Diff
File |