Skip to content

Update the build times - #167

Merged
Tobias-Fischer merged 1 commit into
mainfrom
bot/update-build-timings
Oct 26, 2026
Merged

Tobias-Fischer merged 1 commit into
mainfrom
bot/update-build-timings

Conversation

@robostack-bot-dev

Copy link
Copy Markdown
Contributor

17437 build times from the last week's build-branch runs, in shared/build_timings/linux-64.json, shared/build_timings/linux-aarch64.json, shared/build_timings/osx-64.json, shared/build_timings/osx-arm64.json, shared/build_timings/win-64.json. rs <distro> gha packs each stage's recipes into jobs by them.

🤖 robostack-bot

@robostack-bot-dev robostack-bot-dev Bot added the robostack-bot robostack-bot commands and PRs label Oct 26, 2026
@Tobias-Fischer
Tobias-Fischer merged commit 79688b1 into main Oct 26, 2026
30 checks passed
@Tobias-Fischer
Tobias-Fischer deleted the bot/update-build-timings branch October 26, 2026 05:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

robostack-bot robostack-bot commands and PRs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant