Skip to content

Commit

Permalink
Merge branch 'improvement.gitlab-ci' into 'master.dev'
Browse files Browse the repository at this point in the history
[improvement.gitlab-ci] Improvements of GitLab CI

See merge request piclas/piclas!833
  • Loading branch information
pnizenkov committed Jul 27, 2023
2 parents 01b964a + 8096443 commit 1db1c3e
Show file tree
Hide file tree
Showing 2 changed files with 281 additions and 245 deletions.
Loading

0 comments on commit 1db1c3e

Please sign in to comment.