Skip to content
Build MacOS

Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693 #585

Sign in to view logs

Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693

Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693 #585

Re-run triggered February 18, 2025 13:47
@srbasrba
56a9c85
main
Status Success
Total duration 15m 13s
Artifacts 1

build-macos.yml

on: push
build
14m 59s
build
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
"SIZE_T_MAX" redefined
build
autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf
build
libtool 2.5.4 is already installed and up-to-date. To reinstall 2.5.4, run: brew reinstall libtool
build
m4 1.4.19 is already installed and up-to-date. To reinstall 1.4.19, run: brew reinstall m4

Artifacts

Produced during runtime
Name Size
verifypn-osx64
3.79 MB