Modernize CI script (!17) · Merge requests · agnumpde / dune-subgrid · GitLab

Snippets Groups Projects

Merged oliver.sander_at_tu-dresden.de requested to merge update-ci into master 4 years ago

Activity

oliver.sander_at_tu-dresden.de added 1 commit 4 years ago
added 1 commit

aa41d479 - Modernize CI script

Compare with previous version
oliver.sander_at_tu-dresden.de added 1 commit 4 years ago
added 1 commit

518564d2 - Modernize CI script

Compare with previous version
oliver.sander_at_tu-dresden.de added 3 commits 4 years ago
added 3 commits

518564d2...e47ce178 - 2 commits from branch master

5f07b6b6 - Modernize CI script

Compare with previous version
oliver.sander_at_tu-dresden.de changed title from Update CI script to what's currently used in the Dune core to Modernize CI script 4 years ago

changed title from Update CI script to what's currently used in the Dune core to Modernize CI script
oliver.sander_at_tu-dresden.de merged 4 years ago

merged
oliver.sander_at_tu-dresden.de mentioned in commit 87e9e079 4 years ago

mentioned in commit 87e9e079

Please register or sign in to reply