Skip to content
Type-check

Use gh api instead of curl for direct GitHub API queries #28

Sign in to view logs

Use gh api instead of curl for direct GitHub API queries

Use gh api instead of curl for direct GitHub API queries #28

Triggered via pull request May 20, 2024 12:22
@jwodderjwodder
opened #202
no-api-query
Status Success
Total duration 51s
Artifacts –

typing.yml

on: pull_request
typing
42s
typing
Fit to window
Zoom out
Zoom in