Skip to content

feat(registry): add Nexus-compatible named Maven and npm registries #168

feat(registry): add Nexus-compatible named Maven and npm registries

feat(registry): add Nexus-compatible named Maven and npm registries #168

Triggered via pull request August 2, 2026 23:45
Status Success
Total duration 58s
Artifacts

kani.yml

on: pull_request
Kani proofs
53s
Kani proofs
Fit to window
Zoom out
Zoom in