Skip to content
main

Enable merge_group workflow trigger #543

Sign in to view logs

Enable merge_group workflow trigger

Enable merge_group workflow trigger #543

Triggered via push December 29, 2025 13:29
@tobiasraabetobiasraabe
pushed 5799777
main
Status Success
Total duration 3m 58s
Artifacts –

main.yml

on: push
Run tests for type-checking
17s
Run tests for type-checking
Matrix: run-tests
Fit to window
Zoom out
Zoom in