Commit graph

4 commits

Author SHA1 Message Date
Simon Ser
b0bc7108fa ci: use MR pipelines
This runs CI jobs in the context of the parent project, unlocking
merge request env vars.

See https://docs.gitlab.com/ci/pipelines/merge_request_pipelines/#run-pipelines-in-the-parent-project
2026-04-26 15:56:22 +02:00
Simon Zeni
67ce318b1f ci: update dalligi upstream repo 2026-03-06 09:37:31 -05:00
Simon Ser
714a0264a6 ci: generate and publish HTML documentation 2025-01-31 15:27:03 +00:00
Simon Ser
d1b75674d4 ci: add .gitlab-ci.yml
This is a glue file to allow integration with builds.sr.ht.
2021-11-01 16:51:18 +01:00