Build & Test

Merge pull request #781 from cryspen/update-fstar-new-naming #2458

Sign in to view logs

Triggered via push January 30, 2025 16:05

maximebuyse

main

Status Success

Total duration 19m 3s

Artifacts –

rust.yml

on: push

Matrix: build