Skip to content

Conversation

@robert-scheck
Copy link

@robert-scheck robert-scheck commented May 16, 2023

Given I noticed the failure of GitHub Actions in #901, which seems to be unrelated to my changes…let's try to update the URL.

@robert-scheck robert-scheck changed the title Update URL of rhino1_6R7.zip in GitHub Actions Update URL of rhino1_6R7.zip in GitHub Actions (1.8) May 16, 2023
@robert-scheck
Copy link
Author

@sclassen, any chance for a review?

@robert-scheck
Copy link
Author

Ping?

@lherschi
Copy link
Contributor

af67182

The pull request can thus be closed.

@robert-scheck robert-scheck deleted the rhino/1.8 branch October 15, 2024 23:38
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