Update CI to upload binary packages #164
Merged
+16
−0
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Looks ok - will merge if you're happy with the build result. |
|
It works successfully, see here:
https://github.com/gvanuxem/aldor/actions/runs/12305320663/job/34344638642
The commit above is just adding a status badge to README.md. In fact I need
an aldor binary on the Web to add Aldor to another CI for jlFriCAS, FriCAS
with a minimal interface to Julia. And Aldor in jlFriCAS allowed me to find
some issues not rejected by FriCAS. I was using a different scheme for
SquareMatrices (via the use of SubDomain) but this was not consistent so I
reverted my code.
So Ok. But if you only want the tarball in the zip file it doesn't matter
for me. One of the advantages of this PR is to be able to quickly download
a checked Aldor binary.
Greg
Le jeu. 12 déc. 2024 à 23:40, pbroadbery ***@***.***> a
écrit :
… Looks ok - will merge if you're happy with the build result.
—
Reply to this email directly, view it on GitHub
<#164 (comment)>, or
unsubscribe
<https://github.com/notifications/unsubscribe-auth/AKGLAMFX6YRBKOTCSINSK6T2FIGG3AVCNFSM6AAAAABTQWT77KVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKNBQGE2TINBSHA>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
|
|
Just a precision, if I upload a .deb file and a tarball it is because the
.deb file will likely not be installable in a CI since /usr/ is read only
in Ci-s, at least on macOS. But I can install the tarball in /usr/local if
that is the case.
Le jeu. 12 déc. 2024 à 23:55, Grégory Vanuxem ***@***.***> a
écrit :
… It works successfully, see here:
https://github.com/gvanuxem/aldor/actions/runs/12305320663/job/34344638642
The commit above is just adding a status badge to README.md. In fact I
need an aldor binary on the Web to add Aldor to another CI for jlFriCAS,
FriCAS with a minimal interface to Julia. And Aldor in jlFriCAS allowed me
to find some issues not rejected by FriCAS. I was using a different
scheme for SquareMatrices (via the use of SubDomain) but this was not
consistent so I reverted my code.
So Ok. But if you only want the tarball in the zip file it doesn't matter
for me. One of the advantages of this PR is to be able to quickly download
a checked Aldor binary.
Greg
Le jeu. 12 déc. 2024 à 23:40, pbroadbery ***@***.***> a
écrit :
> Looks ok - will merge if you're happy with the build result.
>
> —
> Reply to this email directly, view it on GitHub
> <#164 (comment)>,
> or unsubscribe
> <https://github.com/notifications/unsubscribe-auth/AKGLAMFX6YRBKOTCSINSK6T2FIGG3AVCNFSM6AAAAABTQWT77KVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKNBQGE2TINBSHA>
> .
> You are receiving this because you authored the thread.Message ID:
> ***@***.***>
>
|
|
Here you can download the zip file at the bottom of the page (ci-upload
branch):
https://github.com/gvanuxem/aldor/actions/runs/12306399409
Greg
Le ven. 13 déc. 2024 à 00:00, Grégory Vanuxem ***@***.***> a
écrit :
… Just a precision, if I upload a .deb file and a tarball it is because the
.deb file will likely not be installable in a CI since /usr/ is read only
in Ci-s, at least on macOS. But I can install the tarball in /usr/local if
that is the case.
Le jeu. 12 déc. 2024 à 23:55, Grégory Vanuxem ***@***.***> a
écrit :
> It works successfully, see here:
> https://github.com/gvanuxem/aldor/actions/runs/12305320663/job/34344638642
>
> The commit above is just adding a status badge to README.md. In fact I
> need an aldor binary on the Web to add Aldor to another CI for jlFriCAS,
> FriCAS with a minimal interface to Julia. And Aldor in jlFriCAS allowed me
> to find some issues not rejected by FriCAS. I was using a different
> scheme for SquareMatrices (via the use of SubDomain) but this was not
> consistent so I reverted my code.
>
> So Ok. But if you only want the tarball in the zip file it doesn't matter
> for me. One of the advantages of this PR is to be able to quickly download
> a checked Aldor binary.
>
> Greg
>
> Le jeu. 12 déc. 2024 à 23:40, pbroadbery ***@***.***> a
> écrit :
>
>> Looks ok - will merge if you're happy with the build result.
>>
>> —
>> Reply to this email directly, view it on GitHub
>> <#164 (comment)>,
>> or unsubscribe
>> <https://github.com/notifications/unsubscribe-auth/AKGLAMFX6YRBKOTCSINSK6T2FIGG3AVCNFSM6AAAAABTQWT77KVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKNBQGE2TINBSHA>
>> .
>> You are receiving this because you authored the thread.Message ID:
>> ***@***.***>
>>
>
|
|
Merged - Exporting the artifacts is a good idea, and reminds me that the deb version ought to be changed. Separately, I need to look into jFricas sometime... |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Upload binaries such that it is available in the CIs Actions pages.
See for example, at the bottom of the page, https://github.com/fricas/fricas/actions/runs/12276733678
Feel free to upload only one package, here it uploads a zip file that contains the .tar.gz and .deb files.