Revision 6d2e9090247f86cc84dc7ca1087073710140fb67 authored by Roman Donchenko on 28 March 2024, 15:51:09 UTC, committed by GitHub on 28 March 2024, 15:51:09 UTC
It has occurred to me that the documentation build happens inside the main workflow, which is configured to ignore changes to the docs when determining whether to run. So if a PR only changes the docs... we don't build the docs. That makes no sense. Fix this by extracting the documentation job into its own workflow, that always runs. The downside of this is that we have to duplicate the work of generating the SDK, but IMO, it's an acceptable sacrifice. A side effect of this is that a failure to build the docs no longer prevents the publishing of Docker images, but I don't think that was needed in the first place.
1 parent 6eb7b7d
| File | Mode | Size |
|---|---|---|
| server.conf | -rw-r--r-- | 1.4 KB |
| utils.conf | -rw-r--r-- | 1.7 KB |
| worker.analytics_reports.conf | -rw-r--r-- | 1.0 KB |
| worker.annotation.conf | -rw-r--r-- | 1.0 KB |
| worker.export.conf | -rw-r--r-- | 1.0 KB |
| worker.import.conf | -rw-r--r-- | 1.3 KB |
| worker.quality_reports.conf | -rw-r--r-- | 1.0 KB |
| worker.webhooks.conf | -rw-r--r-- | 1.1 KB |
Computing file changes ...
