Skip to content
coq-action

prettify: change argument order, strip useless types #415

Sign in to view logs

prettify: change argument order, strip useless types

prettify: change argument order, strip useless types #415

Triggered via push February 20, 2024 09:26
@artagnonartagnon
pushed 76ac03c
master
Status Success
Total duration 2m 24s
Artifacts –

coq-action.yml

on: push
build
2m 16s
build
Fit to window
Zoom out
Zoom in