On Wed, Nov 25, 2020 at 12:41:20PM +, Dima Pasechnik wrote:
> On Wed, Nov 25, 2020 at 11:41 AM Qian Yun wrote:
> >
> > Sorry about forgetting to mention the working result:
> >
> > https://github.com/oldk1331/fricas/runs/1445532607
> >
> > And the dependency is correct. The VM image comes wit
On Wed, Nov 25, 2020 at 11:41 AM Qian Yun wrote:
>
> Sorry about forgetting to mention the working result:
>
> https://github.com/oldk1331/fricas/runs/1445532607
>
> And the dependency is correct. The VM image comes with many
> things preinstalled, including make gcc libgmp-dev.
> (See
> https://
Sorry about forgetting to mention the working result:
https://github.com/oldk1331/fricas/runs/1445532607
And the dependency is correct. The VM image comes with many
things preinstalled, including make gcc libgmp-dev.
(See
https://github.com/actions/virtual-environments/blob/main/images/linux/U
On Wed, Nov 25, 2020 at 9:33 AM oldk1331 wrote:
>
> Hi all,
>
> I would like to add the following file in our repo to start CI from now on.
>
> Comments and ideas are welcome, I'll consider to add them on
> top of this in the future.
>
> - Qian
>
> .github/workflows/ci.yml
> name: FriCAS
Hi all,
I would like to add the following file in our repo to start CI from now on.
Comments and ideas are welcome, I'll consider to add them on
top of this in the future.
- Qian
.github/workflows/ci.yml
name: FriCAS CI
on:
push:
branches: [ master ]
pull_request:
branche