auto-merge

Add Daikon invariant detector #229

Sign in to view logs

Re-run triggered December 29, 2025 17:13

mre

#427

master

Status Success

Total duration 14s

Artifacts –

auto-merge.yml

on: pull_request

Annotations

1 warning

exiting early - expected PR by "dependabot[bot]", found "nkrusch" instead