CI

Auto merge of #3596 - bend-n:support_fstar_algebraic, r=RalfJung #7483

Sign in to view logs

Triggered via push May 11, 2024 10:32

bors

auto

Status Success

Total duration 22m 19s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification