Stream: Coq devs & plugin devs

Topic: jenkins date

view this post on Zulip Gaëtan Gilbert (Jun 24 2020 at 14:23):

Jenkins seems to be confused about the time, it's saying Wed Jun 24 16:39:49 CEST 2020 but it should be 2h and 20ish min less

view this post on Zulip Paolo Giarrusso (Jun 24 2020 at 15:58):

Especially if that causes concrete problems (which it easily could), that also means ntpd is not installed/not working?

Last updated: Jul 13 2024 at 02:02 UTC