Skip to content

Parse generic-confusables in Verus clauses (#21) #101

Parse generic-confusables in Verus clauses (#21)

Parse generic-confusables in Verus clauses (#21) #101

Triggered via push December 29, 2023 15:10
Status Success
Total duration 33s
Artifacts

ci.yml

on: push
Build and Test
24s
Build and Test
Fit to window
Zoom out
Zoom in