CI

support `f*_algebraic` #7482

Sign in to view logs

Triggered via pull request May 11, 2024 10:14

bend-n

synchronize #3596

bend-n:support_fstar_algebraic

Status Success

Total duration 22m 34s

Artifacts –

ci.yml

on: pull_request

Matrix: build

bors build finished

bors build finished

cronjob failure notification