Skip to content

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

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

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

Triggered via push December 15, 2025 22:33
Status Success
Total duration 4m 22s
Artifacts

build.yaml

on: push
Check YAML consistency
33s
Check YAML consistency
build-for-UbuntuLatest
2m 21s
build-for-UbuntuLatest
build-for-WindowsLatest
3m 41s
build-for-WindowsLatest
Publish snapshot
2m 21s
Publish snapshot
Build docs
12s
Build docs
Build Kotlin scripts
1m 6s
Build Kotlin scripts
Run consistency check on all GitHub workflows
59s
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.