Skip to content
damerau-levenshtein Continuous Integration

Initial Coq commit #8

Sign in to view logs

Initial Coq commit

Initial Coq commit #8

Triggered via push September 3, 2024 21:49
@sp1ffsp1ff
pushed 10583b2
coq
Status Success
Total duration 38s
Artifacts –

ci.yml

on: push
Lint & Test
29s
Lint & Test
Fit to window
Zoom out
Zoom in