Ensure we use a stable DUID for DHCPv6 exchanges

.github/buildomat/illumos.sh

@@ -1,6 +1,10 @@
 # Download the SDE from CI, verify its integrity, and install it
 banner "sde setup"
 
+# Ensure the commands below don't abort this script if they succeed because
+# there was nothing to do.
+export PKG_SUCCESS_ON_NOP=1
+
 export PKG=tofino_sde.p5p
 curl -OL $SDE_DIR/$PKG
 SDE_CALC=`digest -a sha256 $PKG`
@@ -15,7 +19,7 @@ export LD_LIBRARY_PATH="$SDE/lib:$LD_LIBRARY_PATH"
 
 # Install a couple of non-standard packages needed to build dendrite
 banner "packages"
-pfexec pkg install clang-15 pcap
+pfexec pkg install clang-15 pcap gcc14
 pfexec pkg set-mediator -V 15 clang llvm
 
 cargo --version

.github/buildomat/jobs/image.sh

@@ -2,7 +2,7 @@
 #:
 #: name = "image"
 #: variety = "basic"
-#: target = "helios-2.0"
+#: target = "helios-3.0"
 #: rust_toolchain = true
 #: output_rules = [
 #:   "/out/*",
@@ -100,8 +100,8 @@ pfexec mkdir -p /out
 pfexec chown "$UID" /out
 
 banner "P4 Codegen"
-# Add gcc-12 so the p4 compiler can find cpp
-PATH=/opt/gcc-12/bin:$PATH cargo xtask codegen --stages $TOFINO_STAGES
+# Add gcc-14 so the p4 compiler can find cpp
+PATH=/opt/gcc-14/bin:$PATH cargo xtask codegen --stages $TOFINO_STAGES
 
 # Preserve all the diagnostics spit out by the compiler
 mkdir -p /out/p4c-diags

.github/buildomat/jobs/test.sh

@@ -2,7 +2,7 @@
 #:
 #: name = "test"
 #: variety = "basic"
-#: target = "helios-2.0"
+#: target = "helios-3.0"
 #: rust_toolchain = true
 #: access_repos = [
 #:   "oxidecomputer/p4",