Skip to content
CI

refactor: rename repocop github credentials #6203

Sign in to view logs

refactor: rename repocop github credentials

refactor: rename repocop github credentials #6203

Triggered via pull request November 27, 2024 17:28
@tjsilvertjsilver
synchronize #1335
ts/aa/rename-repocop-github-credentials
Status Success
Total duration 5m 24s
Artifacts –

ci.yml

on: pull_request
lint
1m 11s
lint
test
2m 20s
test
typecheck
3m 20s
typecheck
db-migration
1m 4s
db-migration
CI
1m 44s
CI
Fit to window
Zoom out
Zoom in