Alexander Medvednikov
|
3a2d696fac
|
time: time.wait() => time.sleep()
|
2021-02-27 20:41:06 +03:00 |
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 |