Skip to content

fix lint issue, add on:pull_request in CI to handle PR created on github #35

fix lint issue, add on:pull_request in CI to handle PR created on github

fix lint issue, add on:pull_request in CI to handle PR created on github #35

Triggered via pull request May 23, 2024 16:53
Status Success
Total duration 1m 6s
Artifacts

type_check.yml

on: pull_request
Matrix: type_check
Fit to window
Zoom out
Zoom in