Skip to content
GitLab
Explore
Sign in
Remove github workflow in master
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Remove github workflow in master
Philipp Gadow
requested to merge
remove_github_workflow
into
master
Sep 30, 2024
Overview
1
Commits
2
Pipelines
3
Changes
2
Summary
This MR introduces the following changes
remove github workflow in master branch (not needed)
Conformity
Changelog entry
Documentation
Development guidelines
Style guides
Merge request reports
Loading