Skip to content

Extend EndianNat to convert from nat #7770

Extend EndianNat to convert from nat

Extend EndianNat to convert from nat #7770

Triggered via pull request October 9, 2025 21:46
Status Success
Total duration 27m 3s
Artifacts 5

ci.yml

on: pull_request
Matrix: test-and-release-macos
fmt
1m 18s
fmt
smoke-test-and-release-macos-x86
22m 50s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
9m 0s
smoke-test-and-release-windows
smoke-test-and-release-linux
7m 52s
smoke-test-and-release-linux
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
verus-arm64-macos
113 MB
sha256:b22ad1b7a891fd51a7bb5e3e9e3673ef1272a8f0e2874f95f92f415b1f296f0d
verus-x86-linux
29.1 MB
sha256:d146c1a0ed16e45e295a4574d0392c16bfc0c7c22f391a4d127cdd7f38f029ab
verus-x86-macos
25 MB
sha256:335d6cfcec09efd006d67cb5f736bfcfab4aa6047ba4b4c5fc8636eb150ad0be
verus-x86-win
21.3 MB
sha256:019d6b2902eb1d30fd78145d2af1b14f3350fe213603e852271cbe74a3b1128a
verusdoc
6.07 MB
sha256:3d112f29158c1e2f25e41dfdb42a0aac2bb4d29c6b825265c048e21b3b429006