Lint and typecheck

Revert changes in heading plugin to make hotkey work #1520

Sign in to view logs

Triggered via pull request May 7, 2024 14:21

KorovinQuantori

opened #3183

KorovinQuantori:main

Status Success

Total duration 16m 43s

Artifacts –

lint-typecheck.yml

on: pull_request

Matrix: lint-typecheck

Discord Notification