Marc Baloup 311d53c32a Don’t clear workdir

2022-12-02 16:25:06 +01:00

build.sh

Don’t clear workdir

2022-12-02 16:25:06 +01:00

Dockerfile

First commit

2022-12-02 16:07:32 +01:00

Description

Utility to use in a Jenkins job to download the latest paper and prepare some development and deployment tools

43 KiB

Languages

Shell 55.4%

Dockerfile 44.6%