Skip to content

Conversation

@StanFromIreland
Copy link
Contributor

@StanFromIreland
Copy link
Contributor Author

@rzach Could you please approve the workflow run so I can find out what naming scheme is used.

@StanFromIreland
Copy link
Contributor Author

It works like so: https://github.com/StanFromIreland/OpenLogic/actions/runs/14145840986 the build is uploaded and can be downloaded from the artifacts section.

@rzach
Copy link
Member

rzach commented Mar 29, 2025

Done

@StanFromIreland
Copy link
Contributor Author

Does this look good to you?

image

@rzach
Copy link
Member

rzach commented Mar 29, 2025

It does! I'm not 100% sure what's happening but this looks great. Can I just go ahead and merge it?

@StanFromIreland
Copy link
Contributor Author

Yep! It just uploads the file from the build so you can easily view it from prs!

I don't know of a nice online solution like RTD (see cpython prs for example)

@rzach rzach merged commit 796aef8 into OpenLogicProject:master Mar 29, 2025
1 check passed
@rzach
Copy link
Member

rzach commented Mar 29, 2025

Thanks!

@StanFromIreland StanFromIreland deleted the gh-148 branch March 29, 2025 17:01
rzach pushed a commit that referenced this pull request May 31, 2025
* Update workflow

* Update workflow

* Update name
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