CI (misc)

Merge pull request #2472 from lf-lang/dagstuhl #3966

Sign in to view logs

Triggered via push February 11, 2025 15:35

github-merge-queue[bot]

master

Status Success

Total duration 28s

Artifacts –

all-misc.yml

on: push

check-diff / check

check-labels / check

Matrix: building / build-toolchain

Waiting for pending jobs

Matrix: cli / test-cli

Waiting for pending jobs