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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
1h 33m 17s
build-stdknl
52m 41s
2h 25m 58s