Luca Boccassi
634cf9eea7
Problem: windows-2016 build no longer runs in CI
...
Solution: remove it
2023-01-12 01:07:06 +00:00
Luca Boccassi
cf8afcc411
Problem: Travis is no longer free for FLOSS projects
...
Solution: switch to Github Actions
Travis recently started enforcing credits for OSS projects without
any funding. While it is possible to get free credits, it is a manual
step that involves contacting customer support via email and asking to
add them, every week. While this does not require money, it requires
something far scarcer: volunteers time.
Drop Travis and migrate to Github Actions.
2021-09-22 16:42:09 +01:00
Luca Boccassi
bb15d9dd77
Problem: add-path no longer supported in Github Action
...
Solution: update setup-bsbuild action version
https://github.blog/changelog/2020-10-01-github-actions-deprecating-set-env-and-add-path-commands/
2020-11-18 13:49:50 +00:00
Luca Boccassi
2352e0a896
Problem: Github Action for fuzzer has a syntax error
...
Solution: fix it
2020-07-04 19:06:27 +01:00
Luca Boccassi
877978adf7
Problem: fuzzers not run in PRs
...
Solution: do it
2020-07-04 17:50:35 +01:00
Luca Boccassi
fd3e5daaeb
Problem: fuzzing Github action ran on pushes on forks and fails
...
Solution: run in on PRs only as oss-fuzz uses Docker so the repository is
hard-coded
2020-05-06 12:39:45 +01:00
Luca Boccassi
9f94aa866f
Problem: oss-fuzz images not tested on PRs
...
Solution: integrate oss-fuzz build via Github actions
2020-05-06 00:36:29 +01:00
Doron Somech
81056a7237
problem: appveyor is very slow
...
Solution: move to github actions
2020-04-20 22:55:28 +03:00
Shubham Lagwankar
475a029514
Problem: PR template is mostly about contributing guidelines
...
Solution: rename it to CONTRIBUTING.md so that it is shown when
creating a pull request or issue
2019-07-26 13:11:52 -04:00
Luca Boccassi
1b8a821222
Problem: stale bot label exceptions not correct
...
Solution: quote the labels with a space, upstream documentation
(not displayed on the Github page) suggests this should finally work
2018-11-04 15:50:40 +00:00
Luca Boccassi
ecf1e31db7
Problem: stale issues linger on Github
...
Solution: enable Stable Bot to automatically mark an issue as stale
after 365 days of inactivity and close it after further 56 days.
Issues marked with the following labels are excluded:
- Help Request
- Feature Request
- Problem reproduced
- Critical
2018-11-04 14:18:54 +00:00
Luca Boccassi
1275c96979
Problem: have to ask manually for relicensing grant
...
Solution: add note in PR template
2018-09-29 11:22:03 +01:00
Dale Wijnand
e6dc9605a5
Fix formatting in CONTRIBUTING
...
Avoids the git instructions being all on one line.
2018-04-27 17:57:07 +01:00
Luca Boccassi
c36d8cb8e4
Problem: PR template does not mention clang-format
...
Solution: add paragraph explaining how to run it to make sure code is
correctly formatted.
2018-03-05 22:47:40 +00:00
sigiesec
3f946428ec
Problem: bug reports are often missing relevant information
...
Solution: provide template for bug reports
2017-08-25 13:16:23 +02:00
Luca Boccassi
e6b1f56131
Problem: contributing guidelines unclear for new devs
...
Solution: port Github PR template from CZMQ
2016-12-18 11:46:08 +00:00
