Skip to content
main

Enable merge groups. (#737) #1990

Sign in to view logs

Enable merge groups. (#737)

Enable merge groups. (#737) #1990

Triggered via push December 28, 2025 22:00
@tobiasraabetobiasraabe
pushed 69daffc
main
Status Success
Total duration 5m 58s
Artifacts –

main.yml

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