main

Enable merge groups. #1989

Sign in to view logs

Triggered via pull request December 28, 2025 21:54

tobiasraabe

opened #737

enable-merge-groups

Status Success

Total duration 5m 48s

Artifacts –

main.yml

on: pull_request

Run tests for type-checking

Matrix: run-tests