[ci] Run byteorder tests under Kani (#394) · google/zerocopy@fdbb893

Triggered via push September 19, 2023 00:13

joshlf

main

Status Success

Total duration 1m 0s

Artifacts 1

scorecard.yml

on: push

Produced during runtime

Name	Size
SARIF file Expired	77 KB