Skip to content
CI

Use GitHub API for pushes by default and require explicit github-token when using custom tokens #739

Sign in to view logs

Use GitHub API for pushes by default and require explicit github-token when using custom tokens

Use GitHub API for pushes by default and require explicit github-token when using custom tokens #739

Triggered via pull request July 6, 2026 21:14
@AndaristAndarist
opened #692
fix/github-token-push
Status Success
Total duration 43s
Artifacts –

ci.yml

on: pull_request
Lint workflows
7s
Lint workflows
Test
33s
Test
Typecheck
22s
Typecheck
Lint
18s
Lint
CI OK
2s
CI OK
Fit to window
Zoom out
Zoom in