8000 [meta] Add license info for sertop.el · rocq-archive/coq-serapi@e052cad · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
CI

[meta] Add license info for sertop.el #503

Sign in to view logs

[meta] Add license info for sertop.el

[meta] Add license info for sertop.el #503

Triggered via push September 8, 2024 15:38
@ejgallegoejgallego
pushed e052cad
v8.20
Status Success
Total duration 12m 3s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in
0