Use Ubuntu 20.04 as docker (!163) · Merge requests · Pedestrian Dynamics Empiricism / PeTrack · GitLab

Snippets Groups Projects

Merged Schrödter, Tobias requested to merge fix-docker into master 3 years ago

Need to switch back to Ubuntu 20.04 as 20.10 is no longer supported and couldn't be built anymore.

Activity

Schrödter, Tobias added critical label 3 years ago

added critical label
Schrödter, Tobias added 1 commit 3 years ago
added 1 commit

c964ee5c - Use Ubuntu 20.04 as docker

Compare with previous version
Schrödter, Tobias mentioned in commit 1f4cd6b4 3 years ago

mentioned in commit 1f4cd6b4
Schrödter, Tobias merged 3 years ago

merged

Please register or sign in to reply