4 Commits (2c609411ddbbf3fb756c4835cb0e0296d488913d)

Author	SHA1	Message	Date
zakuro	ac4791045f	time: consolidate the different sleep functions into time.wait(Duration) (#8853)	2021-02-21 17:05:03 +02:00
Alexander Medvednikov	32cd2846f5	tools/fast: run the job every minute	2021-02-07 04:01:02 +01:00
Alexander Medvednikov	d284918554	tools/fast: push changes to gh pages	2021-02-07 03:35:29 +01:00
Alexander Medvednikov	26121d5ae7	tools/fast: cron job to check for new commits	2021-02-06 22:28:42 +01:00