Skip to content

Fix CI#4

Merged
guibescos merged 5 commits intomainfrom
fix-ci
Nov 8, 2023
Merged

Fix CI#4
guibescos merged 5 commits intomainfrom
fix-ci

Conversation

@guibescos
Copy link
Copy Markdown
Contributor

@guibescos guibescos commented Nov 8, 2023

I had to pin nightly to an older version so that it'd work.

@guibescos guibescos closed this Nov 8, 2023
@guibescos guibescos reopened this Nov 8, 2023
@guibescos guibescos changed the title Trigger CI Fix CI Nov 8, 2023
@guibescos guibescos merged commit 05713de into main Nov 8, 2023
@guibescos guibescos deleted the fix-ci branch November 8, 2023 18:06
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.

2 participants