Re: [NOTICE] Migration to GitHub Actions

+1 Thanks Chesnay for your effort. Github Actions is really convenient! Jing Ge 于2022年4月5日 周二00:01写道： > Thanks Chesnay for your effort! Really looking forward to it! > > On Mon, Apr 4, 2022 at 3:41 PM Martijn Visser > wrote: > > > This is a massive improvement over the existing situation, thank

Re: [NOTICE] Migration to GitHub Actions

Thanks Chesnay for your effort! Really looking forward to it! On Mon, Apr 4, 2022 at 3:41 PM Martijn Visser wrote: > This is a massive improvement over the existing situation, thank you for > driving this Chesnay! > > On Mon, 4 Apr 2022 at 14:49, Chesnay Schepler wrote: > > > Over the next few

Re: [NOTICE] Migration to GitHub Actions

This is a massive improvement over the existing situation, thank you for driving this Chesnay! On Mon, 4 Apr 2022 at 14:49, Chesnay Schepler wrote: > Over the next few weeks we will conduct the migration to github actions. > > We will do this gradually; first enabling it only for pushes to the >

[NOTICE] Migration to GitHub Actions

Over the next few weeks we will conduct the migration to github actions. We will do this gradually; first enabling it only for pushes to the master branch to gather data, and then bit by bit extend it to cover PRs as well. You can expect this to conclude within the next 2-3 weeks. During thi