Skip to content
pipeline

chore: bump the github-actions group with 2 updates #1479

Sign in to view logs

chore: bump the github-actions group with 2 updates

chore: bump the github-actions group with 2 updates #1479

Triggered via pull request October 13, 2025 16:25
@dependabotdependabot[bot]
opened #642
dependabot/github_actions/github-actions-87dc43524a
Status Success
Total duration 5m 51s
Artifacts –

pipeline.yml

on: pull_request
fmt  /  witness
24s
fmt / witness
static_analysis  /  witness
1m 30s
static_analysis / witness
tests  /  witness
4m 16s
tests / witness
release
0s
release
Fit to window
Zoom out
Zoom in