Simplify Makefiles after F* changes #2111

Triggered via pull request February 18, 2025 03:32

mtzguido

synchronize #536

mtzguido:simpl

Status Success

Total duration 16m 6s

Artifacts 1

linux-x64-hierarchic.yaml

on: pull_request

Produced during runtime

Name	Size
log	109 KB