Adapt to coq/coq#17533 (use correct plugin name in ltac2_extra external) #517

Sign in to view logs

Triggered via pull request April 28, 2023 11:44

SkySkimmer

opened #101

SkySkimmer:tac2plugin

Status Success

Total duration 11m 8s

Artifacts –

coq.yml

on: pull_request

Matrix: build