Skip to content
VeriFast (negative)

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow #1084

Sign in to view logs

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow #1084

Triggered via pull request February 26, 2026 17:27
@AdnaneKhanAdnaneKhan
opened #552
AdnaneKhan:update/scopedown-token
Status Success
Total duration 49s
Artifacts –

verifast-negative.yml

on: pull_request
Verify std library
45s
Verify std library
Fit to window
Zoom out
Zoom in