Fixing CI. #1748

Narsil merged 1 commit into main from fix_ci
Narsil
Narsil Fixing CI.
50bc9204
Narsil Narsil merged 88702d87 into main 1 year ago
Narsil Narsil deleted the fix_ci branch 1 year ago
OlivierDehaene
OlivierDehaene
Narsil

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone