Typecheck

feat: add additional external editors #1641

Sign in to view logs

Triggered via pull request January 29, 2026 12:53

jonathanlab

opened #683

feat/additional-external-editors

Status Success

Total duration 1m 23s

Artifacts –

typecheck.yml

on: pull_request