darma-tasking/Generate build stats

"GitHub action that generates a Markdown file with build statistics and performance test results"

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stalelast commit Jul 10, 2024
License
None

Pinned Snippet

workflow.ymlSHA-pinned
uses: darma-tasking/build-stats@5c30d5595f406973ff2f04afc6d256c1618d44e8 # no releases — HEAD as of 2026-07-11

tags can be moved; commit SHAs can't. why a SHA?

namedescriptionrequireddefault
github_personal_tokenGithub personal access token used to push graph to remote wiki repoyes
build_stats_outputWiki repo directory for generated build data. Defaults to root directory
build_times_filenameFilename where the previous build times are stored. File format should be CSVbuild_times.csv
build_result_filenamePath to ClangBuildAnalyzer file (txt format)build_result.txt
graph_filenameFilename for the generated graph that will be pushed to the wiki repograph.png
badge_filenameFilename for generated badge which displays most recent build time.File format should be SVGbuild_status_badge.svg
badge_titleName that will be displayed on the badge${{ github.repository }} build time
badge_logoLogo which will be displayed on the badge. For the list of logos see https://shields.io/
num_last_buildNumber of last builds used for generating graph25
titleTitle of the generated graph
x_labelX axis labelRun number
y_labelY axis labelBuild time (min)
graph_widthGraph width in inches20
graph_heightGraph height in inches20
commit_messageCommit message for wiki pagePush build time graph

no outputs