Philip H
|
bfaa24f953
|
patch 8.2.5052: CI checkout step title is a bit cryptic
Problem: CI checkout step title is a bit cryptic.
Solution: Add a better title. (closes #10509)
|
2022-06-01 21:26:34 +01:00 |
|
Philip H
|
8a83ffdc43
|
patch 8.2.4986: some github actions are outdated
Problem: Some github actions are outdated.
Solution: Update CodeQl to v2, update checkout to v3. (closes #10450)
|
2022-05-20 17:19:06 +01:00 |
|
Yegappan Lakshmanan
|
7f4a628efe
|
patch 8.2.3891: github CI: workflows may overlap
Problem: Github CI: workflows may overlap.
Solution: Cancel previous workflows when starting a new one. (Yegappan
Lakshmanan, closes #9400)
|
2021-12-25 11:20:30 +00:00 |
|
Bram Moolenaar
|
89a9c159f2
|
Update runtime files
|
2021-08-29 21:55:35 +02:00 |
|
Bram Moolenaar
|
b5b77378bc
|
patch 8.2.2156: Github actions run on pusing a tag
Problem: Github actions run on pusing a tag.
Solution: Don't run CI on tag push. Omit coveralls on pull-request.
(Ozaki Kiichi, closes #7489)
|
2020-12-18 13:31:31 +01:00 |
|
Bram Moolenaar
|
18f69229c5
|
patch 8.2.2155: warning from Github actions for code analysis
Problem: Warning from Github actions for code analysis.
Solution: Remove the "git checkout HEAD^2" block.
|
2020-12-18 13:15:20 +01:00 |
|
Bram Moolenaar
|
fa79be6b10
|
patch 8.2.1784: commits are not scanned for security problems
Problem: commits are not scanned for security problems
Solution: Enable Github code scanning. (Christian Brabandt, closes #7057)
|
2020-10-02 10:29:45 +02:00 |
|