CI configuration for Gitlab and GitHub #8
Description
Great Project!
Something that could maybe make it greater: CI configuration for Gitlab and GitHub.
In case this is of help, here are some projects that already have this:
https://gitlab.com/CorrectnessLab/OST/MSE_Seminar_PL/MSE_Seminar_PL_Templates
https://github.com/buehler/mse-seminar-prog-lang-paper