CI pipelines won't run for external forks on Amelie. This is an open issue on GitLab, with people using the coq bot integration to workaround it. Doesn't seem like the builtin feature will come soon, so lets deploy our own bot instance for use with our own gitlab instance in the mean time.
CI pipelines won't run for external forks on Amelie. This is an open issue on GitLab, with people using the coq bot integration to workaround it. Doesn't seem like the builtin feature will come soon, so lets deploy our own bot instance for use with our own gitlab instance in the mean time.
https://github.com/coq/bot/