Skip to content
CI

Collect some example code that we produce and Verus dislikes #45

Sign in to view logs

Collect some example code that we produce and Verus dislikes

Collect some example code that we produce and Verus dislikes #45

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and Test
30s
30s