Skip to content

Remove distinction between StateFilter and RoomEventFilter #3130

Remove distinction between StateFilter and RoomEventFilter

Remove distinction between StateFilter and RoomEventFilter #3130

Triggered via pull request November 26, 2024 21:52
Status Success
Total duration 1m 33s
Artifacts 3

main.yml

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

Artifacts

Produced during runtime
Name Size
changelog-artifact
1.65 KB
openapi-artifact
203 KB
spec-artifact
2.27 MB