Platform

Update F* output with latest hax (after merging new naming). #1514

Sign in to view logs

Triggered via pull request January 30, 2025 14:32

maximebuyse

opened #781

update-fstar-new-naming

Status Success

Total duration 17m 15s

Artifacts –

platform.yml

on: pull_request

Matrix: platform