Skip to content
Type-check

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

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 #30

Triggered via pull request May 20, 2024 18:25
@jwodderjwodder
synchronize #202
no-api-query
Status Success
Total duration 4m 51s
Artifacts –

typing.yml

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