Merge pull request #558 from jannic/issue-537 #851

Sign in to view logs

Triggered via push November 3, 2024 18:46

github-merge-queue[bot]

master

Status Success

Total duration 2m 16s

Artifacts –

ci.yml

on: push

Matrix: ci-linux