Coq 8.20 (#373) #79

Sign in to view logs

Triggered via push September 17, 2024 17:13

whonore

main

Status Success

Total duration 47s

Artifacts –

vim-tests.yml

on: push

Matrix: Vim unit tests