Re: [fricas-devel] Re: upload CI built binaries to nightly release

2022-08-20 Thread Kurt Pagani
A great convenience, +1 :) On 20.08.2022 14:33, Qian Yun wrote: > Done, you can see the result at: > > https://github.com/fricas/fricas-nightly-builds > https://github.com/fricas/fricas-nightly-builds/releases/tag/nightly > > - Qian > > On 8/18/22 18:57, Qian Yun wrote: >> So this is my CI

[fricas-devel] Re: upload CI built binaries to nightly release

2022-08-20 Thread Qian Yun
Done, you can see the result at: https://github.com/fricas/fricas-nightly-builds https://github.com/fricas/fricas-nightly-builds/releases/tag/nightly - Qian On 8/18/22 18:57, Qian Yun wrote: So this is my CI scripts, comments are welcome. Some comments: 1. You can see the testing nightly

[fricas-devel] Re: upload CI built binaries to nightly release

2022-08-18 Thread Qian Yun
So this is my CI scripts, comments are welcome. Some comments: 1. You can see the testing nightly builds from https://github.com/oldk1331/fricas/releases 2. It is hardcoded with my username right now, after setting up repos in https://github.com/fricas, this script will be tweaked and pushed

[fricas-devel] Re: upload CI built binaries to nightly release

2022-08-13 Thread Qian Yun
On 8/13/22 17:36, Qian Yun wrote: It is a little complicated to create a new asset from CLI, so we can create new assets from Web interface first and use the generated ASSET_ID to update them in CI later.) Fixup: still need to "upload" instead of "update". -- You received this message