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 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 to https://github.com/fricas/fricas. >> >> 3. I modified the binary filename to contain date so that it >> is sorted by date in release page. >> >> 4. The scripts does not delete old files. It may require us >> to manually clean the release page (once a month is enough I think). >> >> 5. Failure of uploading will not make the whole script fail. >> >> @Rlaf, if you see my private email regrading repo permissions, >> please reply. >> >> - Qian >> >> ===== >> - name: Upload to nightly release >> if: ${{ github.event_name == 'push' && github.event.ref == >> 'refs/heads/master' && github.repository == 'oldk1331/fricas' }} >> run: | >> export OWNER_REPO=oldk1331/fricas >> export RELEASE_ID=`curl >> https://api.github.com/repos/${OWNER_REPO}/releases/tags/nightly | jq .id` >> curl -v -X POST -H "Accept: application/vnd.github+json" -H >> "Authorization: token ${{ secrets.token }}" >> "https://uploads.github.com/repos/${OWNER_REPO}/releases/${RELEASE_ID}/assets?name=FriCAS-$(date >> +%Y-%m-%dT%H.%M)-linux-x86_64-$(echo ${{ github.sha }} | cut -c 1-8).tbz2" >> --data-binary "@FriCAS-linux-x86_64-${{ github.sha }}.tbz2" -H "Content-Type: >> application/x-bzip2" || true >> ===== > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/d12b095e-2af4-ae70-e95c-77753a494f41%40gmail.com.
