Automatic Rebase

feat: add support for proving predicates #743

Sign in to view logs

Triggered via issue January 2, 2026 13:42

sinui0

commented on #1065 1801c30

Status Skipped

Total duration –

Artifacts –

rebase.yml

on: issue_comment