CI Update - Githubissues

gul-cpp / gul14

General Utility Library for C++14

https://gul14.info/

GNU Lesser General Public License v2.1

2 stars 1 forks source link

CI Update #40

Closed soerengrunewald closed 1 year ago

soerengrunewald commented 1 year ago

The current CI does contain a lot of DESY internal stuff, which might no be suitable for the github environment (e.g. proxy settings).
We should include newer and different distros for compilation tests, as seen with #39.

alt-graph commented 1 year ago

The current CI does contain a lot of DESY internal stuff, which might no be suitable for the github environment (e.g. proxy settings).

@soerengrunewald: You mean the Gitlab CI script, which is not used by Github, right? Can we just remove the Gitlab CI setup from the repo? Does anyone look at GUL14 in Gitlab anymore?