Basis verus build basis-1dae5640a9

Pinned Basis build of Verus at 1dae564.

Version: 0.2026.09.04.1dae564
Ref: main

1f906bd81cbfd28db2fb5bc8fa23731eac87e0a8b8bc45cf2ca733eab99d4d61  verus-arm64-macos.zip
afd89f27370abe305fdcebd26cb6841a1c6962dc483b00c08e39523fb51bc0e0  verus-x86-linux.zip

Basis verus build basis-034d4d6ac8

Pinned Basis build of Verus at 034d4d6.

Version: 0.2026.09.04.034d4d6
Ref: main

e2e1b68d13da4b36f7555ec1edfdfb1d5773c8883f2088f356a70a5cfdb71995  verus-arm64-macos.zip
fbfe50bbe4c5f0b3f5dc25ba2d1ab18a2685baa3b251d877f98d43491d39cb13  verus-x86-linux.zip

Basis verus build basis-d3e37cb6a7

Pinned Basis build of Verus at d3e37cb.

Version: 0.2026.09.03.d3e37cb
Ref: main

9d21daaef48e50ead09596724d53f898f4893ae3f1e0d87c6ffb02cafd2d4886  verus-arm64-macos.zip
d915d6d78e656a7c260999ba17ba8f0f6dd6177dfab0ee95cb3cedb7e7c550e9  verus-x86-linux.zip

Basis verus build basis-f1ec9a6b37

Pinned Basis build of Verus at f1ec9a6.

Version: 0.2026.09.03.f1ec9a6
Ref: ci/basis-build-publish

2ecfe9cd3effe010e2aa9bd99c9956eb746e5626f2b3adc402ccf9a41e0c06b2  verus-arm64-macos.zip
93635fd71dea9011c7010a7284eeab4c84fa89c2629fef9465f757422d84c711  verus-x86-linux.zip