Skip to content
Build

chore(server): count calls to GitHub's API as metric #6615

Sign in to view logs

chore(server): count calls to GitHub's API as metric

chore(server): count calls to GitHub's API as metric #6615

Triggered via pull request December 15, 2025 22:28
@krzema12krzema12
opened #2168
record-metric-for-calls-to-github-api
Status Success
Total duration 3m 47s
Artifacts –

build.yaml

on: pull_request
Check YAML consistency
37s
Check YAML consistency
build-for-UbuntuLatest
2m 6s
build-for-UbuntuLatest
build-for-WindowsLatest
3m 3s
build-for-WindowsLatest
Publish snapshot
Publish snapshot
Build docs
14s
Build docs
Build Kotlin scripts
1m 5s
Build Kotlin scripts
Run consistency check on all GitHub workflows
1m 7s
Run consistency check on all GitHub workflows
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Run consistency check on all GitHub workflows
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
build-for-WindowsLatest
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.