crmf

Hax extraction and F* lax-checking #11

Sign in to view logs

Triggered via pull request August 28, 2025 13:28

maximebuyse

synchronize #2

lax-checking

Status Success

Total duration 1m 38s

Artifacts –

crmf.yml

on: pull_request

minimal-versions / minimal-versions

Matrix: build

Matrix: test