Merge pull request #2442 from lf-lang/default-np #3754

Sign in to view logs

Triggered via push November 30, 2024 04:18

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