Stream: Coq devs & plugin devs

Topic: Windows CI might be a bit rough these days


view this post on Zulip Michael Soegtrop (Feb 02 2021 at 10:59):

I just wanted to mention that in Coq platform CI we had several Cygwin update related issues recently. On 32 bit Windows tar is broken and fails sometimes since Jan 10 or so (rarely but reproducibly for a given tar file). On 64 bit Windows there is a non reproducible issue with the assembler since Jan 30 or so. I looked at Coq's CI and didn't see these issues. In case you see issues, the latest fixes for Coq platform are in

(https://github.com/coq/platform/blob/v8.13/shell_scripts/init_cygwin_fixes.sh)

and or

(https://github.com/coq/platform/blob/master/shell_scripts/init_cygwin_fixes.sh).

As far as I know only the python fix is in Coq's CI.

In general if you see Windows issues, it might be worthwhile to look out for PRs or changes to the above file(s). I don't look at Coq's Windows CI results regularly any more.

view this post on Zulip Théo Zimmermann (Feb 02 2021 at 14:10):

FTR, we don't test Windows 32bit anymore on the Coq side.

view this post on Zulip Théo Zimmermann (Feb 02 2021 at 14:11):

And there were indeed a few random Windows failures recently although most jobs went through just fine.

view this post on Zulip Théo Zimmermann (Feb 02 2021 at 14:13):

Here are the links to these failures. It seems that there are of three types.
First type: remote: error: cannot lock ref 'refs/remotes/fb9e53fc5266f3285fd2364f0292dd62': reference already exists

view this post on Zulip Michael Soegtrop (Feb 02 2021 at 16:28):

My assessment:

I will have a look at the runners. There is a cron job deleting left over debris once a day, so the disk full errors are odd - unless there where massive network failures on one day which left a lot of debris. I will report todays status of machines. We could change the cron jobs to run say every few hours.

view this post on Zulip Michael Soegtrop (Feb 02 2021 at 17:44):

I did a maintenance run on the servers. As it looks the cleanup cron job seems to do its job, bit for whatever reason on 2 servers a few folders did get access denied on the removal. Not sure why. Running the same script as the cron job does from the console did work. I guess I need to review the user rights of the cron job.

view this post on Zulip Théo Zimmermann (Feb 02 2021 at 18:25):

Thanks!


Last updated: Oct 21 2021 at 20:02 UTC