Skip to content
VeriFast

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow #1098

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 #1098

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

verifast.yml

on: pull_request
Verify std library
48s
Verify std library
Notify @btj
Notify @btj
Fit to window
Zoom out
Zoom in