Skip to content
Snippets Groups Projects
Commit d7edff00 authored by Simon Pickartz's avatar Simon Pickartz
Browse files

Merge branch 'deep-sea-add-ci' into 'deep-sea' 

ci: Add .gitlab-ci.yml triggering the DEEP-SEA CI.

See merge request !1
parents a9f9d937 92d3c794
No related branches found
No related tags found
Checking pipeline status
Show whitespace changes
Inline Side-by-side
Showing
with 35 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment