Skip to content
ci

chore(deps): bump the github-actions group across 1 directory with 5 updates #237

Sign in to view logs

chore(deps): bump the github-actions group across 1 directory with 5 updates

chore(deps): bump the github-actions group across 1 directory with 5 updates #237

Triggered via pull request May 30, 2026 15:35
@dependabotdependabot[bot]
synchronize #58
dependabot/github_actions/github-actions-a081f5ba41
Status Success
Total duration 17s
Artifacts –

ci.yml

on: pull_request
IntentProof CI: Build and Test
14s
IntentProof CI: Build and Test
Fit to window
Zoom out
Zoom in