Simplify Makefiles after F* changes #2101

Triggered via pull request February 14, 2025 16:54

mtzguido

opened #536

mtzguido:simpl

Status Success

Total duration 27m 30s

Artifacts 1

linux-x64-hierarchic.yaml

on: pull_request

Produced during runtime

Name	Size
log	108 KB