Skip to content
update_math_scaffold_databases

chore: move script to workflow folder and rename to run #258

Sign in to view logs

chore: move script to workflow folder and rename to run

chore: move script to workflow folder and rename to run #258

Triggered via push January 3, 2026 17:55
@PlaneshifterPlaneshifter
pushed ef71923
philipp/label-prs-with-merge-conflicts
Status Success
Total duration 1m 45s
Artifacts –

update_math_scaffold_databases.yml

on: push
Update Scaffold Databases
1m 42s
Update Scaffold Databases
Fit to window
Zoom out
Zoom in