consolidate external code (attempt 2) · verus-lang/verus@813d3bb

Triggered via pull request January 29, 2025 14:36

tjhance

synchronize #1386

external-refactor-2

Status Failure

Total duration 13m 10s

Artifacts 5

ci.yml

on: pull_request

Matrix: test-and-release-macos

1 error

Process completed with exit code 1.

Produced during runtime