coq-library-undecidability CI

Cleanup for overridden notations #731

Sign in to view logs

Triggered via pull request February 27, 2025 10:40

DmxLarchey

synchronize #232

DmxLarchey:notation-overridden-2

Status Success

Total duration 5m 56s

Artifacts –

build.yml

on: pull_request

Matrix: build