Skip to content
Spec

Fix headers with custom IDs via the correct syntax #1500

Sign in to view logs

Fix headers with custom IDs via the correct syntax

Fix headers with custom IDs via the correct syntax #1500

Triggered via pull request June 21, 2023 13:50
@richvdhrichvdh
synchronize #1578
fixup-custom-heading-ids
Status Success
Total duration 1m 42s
Artifacts 3
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: pull_request
⚙️ Calculate baseURL for later jobs
0s
⚙️ Calculate baseURL for later jobs
📢 Run towncrier for changelog
8s
📢 Run towncrier for changelog
🔎 Validate OpenAPI specifications
25s
🔎 Validate OpenAPI specifications
🔎 Check Event schema examples
10s
🔎 Check Event schema examples
🐍 Build OpenAPI definitions
12s
🐍 Build OpenAPI definitions
📖 Build the spec
40s
📖 Build the spec
📖 Build the historical backup spec
0s
📖 Build the historical backup spec
🔎 Validate generated HTML
13s
🔎 Validate generated HTML
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
⚙️ Calculate baseURL for later jobs
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
📢 Run towncrier for changelog
The `python-version` input is not set. The version of Python currently in `PATH` will be used.

Artifacts

Produced during runtime
Name Size
changelog-artifact Expired
2.13 KB
openapi-artifact Expired
150 KB
spec-artifact Expired
2.63 MB