verus

Add a workflow that runs Verus on each task #20

Sign in to view logs

Summary
Jobs
- verus
Run details
- Usage
- Workflow file

Triggered via pull request November 26, 2024 02:39

parno

synchronize #25

ci-setup

Status Success

Total duration 1m 3s

Artifacts –

verus.yml

on: pull_request