Add loop_invariants predicate #15

Sign in to view logs

Triggered via push October 25, 2024 06:11

qinheping

add_loop_invariants_predicate

Status Success

Total duration 7m 30s

Artifacts –

rustc.yml

on: push

Matrix: build