|
|
89a9c159f2
|
Update runtime files
|
2021-08-29 21:55:35 +02:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
