docker-ci

[emacs-mode] Put DB "super match" into HOL/Misc menu #326

Sign in to view logs

Triggered via push January 23, 2024 23:39

mn200

develop

Status Success

Total duration 1h 1m 9s

Artifacts –

docker-ci.yml

on: push