Skip to content

ci: fix CI by changing back to relative build paths#63

Merged
PerAlexandersson merged 1 commit into
PerAlexandersson:mainfrom
sqrt-of-2:fix-build
Jul 5, 2026
Merged

ci: fix CI by changing back to relative build paths#63
PerAlexandersson merged 1 commit into
PerAlexandersson:mainfrom
sqrt-of-2:fix-build

Conversation

@sqrt-of-2

Copy link
Copy Markdown
Contributor

No description provided.

@YaelDillies

Copy link
Copy Markdown
Contributor

Also fixed in #62 FWIW

@sqrt-of-2

Copy link
Copy Markdown
Contributor Author

Great! I think the comparator CI job also needs a fix to get it working again.

@PerAlexandersson
PerAlexandersson merged commit 16cc395 into PerAlexandersson:main Jul 5, 2026
2 checks passed
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.

3 participants