Skip to content

gec: fixed bug in generated C code for precondition require else True. #110

gec: fixed bug in generated C code for precondition require else True.

gec: fixed bug in generated C code for precondition require else True. #110

Triggered via push December 25, 2024 14:14
Status Success
Total duration 5h 41m 21s
Artifacts 32

github-ci.yml

on: push
Matrix: linux_build
Matrix: macos_build
Matrix: windows_build
Matrix: linux_test
Matrix: macos_test
Matrix: windows_test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
gobo_bin_macos-13_clang Expired
16.3 MB
gobo_bin_macos-13_zig Expired
15.2 MB
gobo_bin_macos-14_clang Expired
16 MB
gobo_bin_macos-14_zig Expired
15.5 MB
gobo_bin_macos-15_clang Expired
16 MB
gobo_bin_macos-15_zig Expired
15.5 MB
gobo_bin_ubuntu-20.04_gcc Expired
19.9 MB
gobo_bin_ubuntu-20.04_zig Expired
20 MB
gobo_bin_ubuntu-22.04_gcc Expired
22 MB
gobo_bin_ubuntu-22.04_zig Expired
20 MB
gobo_bin_ubuntu-24.04_gcc Expired
22.4 MB
gobo_bin_ubuntu-24.04_zig Expired
20 MB
gobo_bin_windows-2019_msc Expired
28 MB
gobo_bin_windows-2019_zig Expired
20.1 MB
gobo_bin_windows-2022_msc Expired
26.9 MB
gobo_bin_windows-2022_zig Expired
20.1 MB
gobo_c_config_macos-13_clang Expired
144 Bytes
gobo_c_config_macos-13_zig Expired
142 Bytes
gobo_c_config_macos-14_clang Expired
144 Bytes
gobo_c_config_macos-14_zig Expired
142 Bytes
gobo_c_config_macos-15_clang Expired
144 Bytes
gobo_c_config_macos-15_zig Expired
142 Bytes
gobo_c_config_ubuntu-20.04_gcc Expired
142 Bytes
gobo_c_config_ubuntu-20.04_zig Expired
142 Bytes
gobo_c_config_ubuntu-22.04_gcc Expired
142 Bytes
gobo_c_config_ubuntu-22.04_zig Expired
142 Bytes
gobo_c_config_ubuntu-24.04_gcc Expired
142 Bytes
gobo_c_config_ubuntu-24.04_zig Expired
142 Bytes
gobo_c_config_windows-2019_msc Expired
144 Bytes
gobo_c_config_windows-2019_zig Expired
144 Bytes
gobo_c_config_windows-2022_msc Expired
144 Bytes
gobo_c_config_windows-2022_zig Expired
144 Bytes