Skip to content
pipeline

chore: bump the github-actions group across 1 directory with 9 updates #1921

Sign in to view logs

chore: bump the github-actions group across 1 directory with 9 updates

chore: bump the github-actions group across 1 directory with 9 updates #1921

Triggered via pull request July 25, 2026 16:04
@dependabotdependabot[bot]
opened #812
dependabot/github_actions/github-actions-f01acdd511
Status Success
Total duration 6m 1s
Artifacts –

pipeline.yml

on: pull_request
fmt  /  witness
27s
fmt / witness
static_analysis  /  witness
1m 34s
static_analysis / witness
tests  /  witness
4m 20s
tests / witness
release
0s
release
Fit to window
Zoom out
Zoom in