Developers should use the following GitHub Actions workflow example to publish artifacts so they become available for download on the GitHub Actions build summary page: # Publish ... bravo.html and ...