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: Oct 21 2021 at 22:02 UTC