robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
128 commits 8 branches 2 tags 6.5 MiB
Commit graph

3 commits

Author SHA1 Message Date
Reynir Björnsson
37e68f91f4 Handle jobs without successful build in migrations 
The migrations migrate-2021-06-29 and migrate-2021-06-30 would not apply
if a job exists without any successful build. Now the migrations script
silently skips jobs without succesful builds.
 2021-07-01 10:56:14 +02:00
Robur
1e3fcf984f Allow README.md being present anywhere 
The one in root takes precedence, but opam-installer doesn't really
want to install things into %{prefix}%.
 2021-06-30 14:10:02 +00:00
Robur
009fa49e9e render README from latest build (preserved as a tag value in job_tag table) 2021-06-30 12:47:30 +00:00