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

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

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… #2062

Triggered via pull request February 5, 2025 00:23
@msprotzmsprotz
opened #528
protz_narrowing
Status Success
Total duration 1h 0m 42s
Artifacts 1

linux-x64-hierarchic.yaml

on: pull_request
build
19m 51s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
log Expired
102 KB
sha256:0ca7f201bc17283190d57af3f69013a3d70417d9cfd37cc84addd9e272ee490e