Laurențiu Nicola 878dd9d3ad Use Ubuntu 18.04 on CI		2021-08-30 09:50:41 +03:00
..
ci.yaml	internal: prep to 2021 edition	2021-08-20 16:20:18 +03:00
metrics.yaml	Remove more unreachable pubs	2020-11-02 16:58:33 +01:00
publish.yml	Don't publish every day and do it only for release	2020-08-31 17:35:26 +02:00
release.yaml	Use Ubuntu 18.04 on CI	2021-08-30 09:50:41 +03:00
rustdoc.yaml	Remove more unreachable pubs	2020-11-02 16:58:33 +01:00