.github/workflows/main.yml

detect duplicated theorems #1151

Sign in to view logs

Triggered via pull request August 30, 2025 10:37

fblanqui

synchronize #186

fblanqui:undup

Status Success

Total duration 17m 53s

Artifacts –

main.yml

on: pull_request

Matrix: ci