Skip to content
Build and Test on *BSD

SMT2: bvnor, bvnand are binary only; add bvxnor #1315

Sign in to view logs

SMT2: bvnor, bvnand are binary only; add bvxnor

SMT2: bvnor, bvnand are binary only; add bvxnor #1315

Run time

Learn about OS pricing on GitHub Actions
Job Run time
FreeBSD
6m 53s
NetBSD
8m 17s
OpenBSD
10m 13s
25m 23s