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

Avoid narrowing conversion errors in initializer lists in C++ -- fixe… #2061

Sign in to view logs

Avoid narrowing conversion errors in initializer lists in C++ -- fixe…

Avoid narrowing conversion errors in initializer lists in C++ -- fixe… #2061

Triggered via push February 5, 2025 00:23
@protzprotz
pushed d4a1754
protz_narrowing
Status Success
Total duration 41m 7s
Artifacts 1

linux-x64-hierarchic.yaml

on: push
build
18m 40s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
log
102 KB