Flux

Improve the VeriFast scripts #314

Sign in to view logs

Triggered via pull request January 18, 2026 19:50

btj

synchronize #507

btj:verifast-scripts

Status Success

Total duration 2m 40s

Artifacts –

flux.yml

on: pull_request

check-flux-on-core