Skip to content
docker-ci

[emacs-mode] Handle new Inductive label syntaxes #254

Sign in to view logs

[emacs-mode] Handle new Inductive label syntaxes

[emacs-mode] Handle new Inductive label syntaxes #254

Triggered via push November 8, 2023 11:22
@mn200mn200
pushed be29184
master
Status Success
Total duration 1h 33m 29s
Artifacts –

docker-ci.yml

on: push
build-stdknl
52m 41s
build-stdknl
build-expk
1h 33m
build-expk
Fit to window
Zoom out
Zoom in