Merge pull request #3582 from DmxLarchey/Coq-Kruskal-Trees-2.0 #2357

Triggered via push November 20, 2025 08:04

silene

master

Status Success

Total duration 1m 33s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.9 MB	`sha256:950cf20f5e9026b4457f686e798b6cfb300f992ceacecba739f7d38d1d7b64b0`