Skip to content

Remove PR merge condition #3087

Remove PR merge condition

Remove PR merge condition #3087

Triggered via push January 2, 2024 20:58
Status Success
Total duration 2m 19s
Artifacts

make-docs.yml

on: push
Update DB schema files in webpage
2m 11s
Update DB schema files in webpage
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Update DB schema files in webpage
The process '/usr/bin/git' failed with exit code 128