Skip to content
Build and test Karamel based on a FStar image

Rework C compiler detection #2090

Sign in to view logs

Rework C compiler detection

Rework C compiler detection #2090

Triggered via pull request February 12, 2025 19:54
@mtzguidomtzguido
synchronize #531
mtzguido:cc
Status Success
Total duration 31m 0s
Artifacts 1

linux-x64-hierarchic.yaml

on: pull_request
build
15m 57s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
log Expired
102 KB
sha256:520cb3c60766fc143ce802d40c60e677a6c704ca1c8af6e3832a2087430daa1f