Remove code duplication of agda-mode (#238) #80

Sign in to view logs

Triggered via push December 6, 2023 09:40

jespercockx

master

Status Success

Total duration 39s

Artifacts –

docs.yml

on: push

Matrix: deploy