Skip to content
GitLab
Explore
Sign in
HIFIS
Overall
hifis.net
Issues
#81
Scheduled build, e.g. daily
According to
!86 (merged)
(
comment
), a (daily) scheduled build should be set up.