Skip to content

Remove distinction between StateFilter and RoomEventFilter #3131

Remove distinction between StateFilter and RoomEventFilter

Remove distinction between StateFilter and RoomEventFilter #3131

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

main.yml

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

Artifacts

Produced during runtime
Name Size
changelog-artifact
1.69 KB
openapi-artifact
203 KB
spec-artifact
2.28 MB