Merge pull request #516 from jamesmunns/patch-1 #711

Sign in to view logs

Triggered via push March 14, 2024 22:02

github-merge-queue[bot]

master

Status Success

Total duration 1m 21s

Artifacts –

ci.yml

on: push

Matrix: ci-linux