CI

add a way to run CI on external PRs using a label #419

Sign in to view logs

Triggered via push December 14, 2023 16:52

catwell

main

Status Skipped

Total duration 2s

Artifacts –

ci.yml

on: push

lint_and_typecheck