Skip to content

Merge branch 'main' into ci-setup #19

Merge branch 'main' into ci-setup

Merge branch 'main' into ci-setup #19

Triggered via push November 26, 2024 02:39
Status Success
Total duration 1m 2s
Artifacts

verus.yml

on: push
Fit to window
Zoom out
Zoom in