Skip to content

Fix depgraph - #287

Merged
Lysxia merged 3 commits into
masterfrom
depgraph
Nov 2, 2026
Merged

Lysxia merged 3 commits into
masterfrom
depgraph

Conversation

@Lysxia

@Lysxia Lysxia commented Oct 30, 2026 •

Copy link
Copy Markdown
Collaborator

Close #275

@YaZko Il est pas beau mon graphe ?

deps

@Lysxia
Lysxia merged commit 284d422 into master Nov 2, 2026
10 checks passed
@Lysxia
Lysxia deleted the depgraph branch November 2, 2026 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Missing _CoqConfig from InteractionTrees

1 participant