Ole Schütt
a05a6033f5
Docker: Use git checkout instead of reset
2021-07-05 14:30:20 +02:00
Ole Schütt
d59a3ad777
Format all shell scripts
2021-02-18 00:33:20 +01:00
Ole Schütt
b97225a26a
Docker: Use git reset instead of checkout
2019-09-12 14:01:58 +02:00
Ole Schütt
1ffd615182
Docker: Returning to rsync --checksum
2019-08-08 13:31:29 +02:00
Ole Schütt
5571166cb3
Docker: Switch to default rsync algorithm
2019-07-23 09:55:13 +02:00
Tiziano Müller
932221aa9a
docker: fix stale directory tree with volume mount
...
Some rsync options are actually conflicting options (even though rsync
doesn't say so), which may lead to a stale tree in the case of Docker
volume mounts if the Docker image is generated after the modifications
in the mounted tree.
2019-05-16 14:37:03 +02:00
Ole Schütt
16a2dd5287
Docker: Reintroduce GIT_BRANCH
...
Sometimes a dashboard run fails because a recent commit advanced
the HEAD and Github does not allow fetching unadvertised commits.
2019-05-03 11:14:26 +02:00
Ole Schütt
9b854928f9
Docker: Simplify ci_entrypoint.sh after CI refactoring
2019-04-19 21:35:02 +02:00
Ole Schütt
402e0699ef
Docker: Prevent crash looping
2019-04-06 14:00:03 +02:00
Ole Schütt
dd6be25fbc
Docker: Handle errors gracefully
2019-04-06 13:16:33 +02:00
Ole Schütt
8f60d6248b
Docker: Remove leading ./ from artifacts.tgz
2019-03-20 15:25:40 +01:00
Ole Schütt
0c57f232ce
Docker: Handle preemption gracefully
2019-03-19 12:05:42 +01:00
Ole Schütt
10272510ad
Docker: Disable core dumps
2019-03-19 12:05:42 +01:00
Ole Schütt
34b43fc68a
Docker: Fix coverage test
2019-01-11 17:08:50 +01:00
Ole Schütt
56c57bcb92
Docker: Start report uploading immediately and remove md5sum output
2019-01-10 23:02:15 +01:00
Ole Schütt
93fe10782b
Docker: fix globbing
2018-12-04 10:29:04 +01:00
Ole Schütt
4a4d0f8c2f
Docker: Clean build cache when critical files change
2018-12-03 21:06:14 +01:00
Ole Schütt
f55585c519
Docker: Abort test if toolchain update failes
2018-11-23 12:57:55 +01:00
Ole Schütt
8fab975800
Docker: Redirect wget output to /dev/null
2018-11-12 15:07:52 +01:00
Ole Schütt
3b6a0bb6dc
Conventions: ignore exts directory
2018-11-11 10:30:51 +01:00
Ole Schütt
19ee5e38ad
Docker: Touch up CI report ( #92 )
2018-11-09 16:28:26 +01:00
Ole Schütt
4a97bb7342
Docker: Major refactoring ( #87 )
2018-11-08 13:56:15 +01:00