Bram Moolenaar 0fa09676c2 patch 8.2.2507: github build may fail if Ubuntu 20.04 is used ...

Problem:    Github build may fail if Ubuntu 20.04 is used.  Installing rust is
            not needed.
Solution:   Specify ubuntu-18.04 instead of latest. Update "pip" instead of
            installing rust. (Ozaki Kiichi, closes #7820)

2021-02-13 17:08:33 +01:00

..

ci.yml

patch 8.2.2507: github build may fail if Ubuntu 20.04 is used

2021-02-13 17:08:33 +01:00

codeql-analysis.yml

patch 8.2.2156: Github actions run on pusing a tag

2020-12-18 13:31:31 +01:00