Skip to content

Merge branch 'apache_main' into follow-up/monotonic #1865

Merge branch 'apache_main' into follow-up/monotonic

Merge branch 'apache_main' into follow-up/monotonic #1865

Triggered via push February 21, 2025 14:18
Status Success
Total duration 2m 38s
Artifacts

dev.yml

on: push
Check License Header
2m 27s
Check License Header
Use prettier to check formatting of documents
16s
Use prettier to check formatting of documents
Fit to window
Zoom out
Zoom in