Skip to content
VeriFast (negative)

Fixup merge resolution: Add and update rewards to open challenges lacking one #968

Sign in to view logs

Fixup merge resolution: Add and update rewards to open challenges lacking one

Fixup merge resolution: Add and update rewards to open challenges lacking one #968

Triggered via pull request October 9, 2025 08:01
@tautschnigtautschnig
opened #502
tautschnig:add-rewards
Status Success
Total duration 28s
Artifacts –

verifast-negative.yml

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