Skip to content
Snippets Groups Projects
Commit 11439dd8 authored by jurgenhaas's avatar jurgenhaas
Browse files

Merge branch 'develop' into 'main'

Merging develop into main

See merge request !10
parents 5dc4dabd 69507026
No related branches found
No related tags found
1 merge request!10Merging develop into main
Pipeline #980716 passed
......@@ -19,7 +19,7 @@ RUN echo "Adding system components" && \
libxss1 libxtst6 lsb-release wget xdg-utils && \
curl -fsSL https://deb.nodesource.com/setup_16.x | bash - && \
apt install -y nodejs && \
curl -L -o pandoc.deb https://github.com/jgm/pandoc/releases/download/3.1.4/pandoc-3.1.4-1-amd64.deb && \
curl -L -o pandoc.deb https://github.com/jgm/pandoc/releases/download/3.1.6.2/pandoc-3.1.6.2-1-amd64.deb && \
dpkg -i pandoc.deb && \
rm pandoc.deb
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment