Skip to content

Use "server name" instead of "DNS name" to avoid confusion #2885

Use "server name" instead of "DNS name" to avoid confusion

Use "server name" instead of "DNS name" to avoid confusion #2885

Triggered via pull request September 11, 2024 11:31
Status Success
Total duration 1m 50s
Artifacts 3

main.yml

on: pull_request
βš™οΈ Calculate baseURL for later jobs
0s
βš™οΈ Calculate baseURL for later jobs
πŸ“’ Run towncrier for changelog
9s
πŸ“’ Run towncrier for changelog
πŸ”Ž Validate OpenAPI specifications
17s
πŸ”Ž Validate OpenAPI specifications
πŸ”Ž Check Event schema examples
10s
πŸ”Ž Check Event schema examples
πŸ”Ž Check OpenAPI definitions examples
23s
πŸ”Ž Check OpenAPI definitions examples
πŸ”Ž Check JSON Schemas inline examples
14s
πŸ”Ž Check JSON Schemas inline examples
🐍 Build OpenAPI definitions
23s
🐍 Build OpenAPI definitions
πŸ“– Build the spec
50s
πŸ“– Build the spec
πŸ“– Build the historical backup spec
0s
πŸ“– Build the historical backup spec
πŸ”Ž Validate generated HTML
6s
πŸ”Ž Validate generated HTML
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
changelog-artifact
1.83 KB
openapi-artifact
201 KB
spec-artifact
2.36 MB