Skip to content

Parse generic-confusables in Verus clauses #97

Parse generic-confusables in Verus clauses

Parse generic-confusables in Verus clauses #97

Triggered via pull request December 29, 2023 11:03
Status Success
Total duration 39s
Artifacts

ci.yml

on: pull_request
Build and Test
29s
Build and Test
Fit to window
Zoom out
Zoom in