[fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

FYI, (Posted at https://groups.google.com/g/fricas-devel and https://groups.google.com/g/sci.math.symbolic) Independent CAS integration tests summer 2022 edition is now complete. (It took about 5 months since I initially started working on it!)

Re: [fricas-devel] is there an official Fricas icon?

>From FriCAS wiki http://fricas-wiki.math.uni.wroc.pl/FrontPage there is a variant of the original Axiom icon. On Sat, 20 Aug 2022 at 10:13, Ralf Hemmecke wrote: > > > But what I really think is that a real logo, a figure, a drawing etc. > > should be used with the name of FriCAS (in the l

Re: [fricas-devel] is there an official Fricas icon?

> But what I really think is that a real logo, a figure, a drawing etc. > should be used with the name of FriCAS (in the logo eventually or > below). Right. I think we should call for a little competition. ;-) Anyone interested? Let's collect some ideas. See attachment. Ralf -- You received th

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

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 sc

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

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 bui