CI (misc)

Merge pull request #2400 from lf-lang/rti-DNET #3907

Sign in to view logs

Triggered via push January 24, 2025 18:39

github-merge-queue[bot]

master

Status Success

Total duration 38s

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