summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)Author
2020-12-02CI: Use Ninja for building (#4293)Nico Weber
Makes watching build output on Actions on PRs slightly more pleasant.
2020-11-29Meta: Add GitHub Actions workflow for Lagom with FuzzersLuke
There are cases where Lagom will build with GCC but not Clang. This often goes unnoticed for a while as we don't often build with Clang. However, this is now important to test in CI because of the OSS-Fuzz integration. Note that this only tests the build, it does not run any tests. Note that it also only builds LagomCore, Lagom and the fuzzers. It does not build the other programs that use Lagom.
2020-11-26Meta: Enable CodeQL static analysis for SerenityBrian Gianforcaro
CodeQL is a static analysis technology that was purchased by GitHub and has been tightly integrated into the platform. It's different from most other static analysis solutions because it's based on a database built from your codebase, and then language specific rules can be executed against that database. The rules are fully user extensible, and are written in a datalog/query language. The default cpp language rules coming from CodeQL will probably find some issues, the ability to easily write custom rules/queries will lend it self nicely to allowing us to validate Serenity specific semantics are followed throughout the code. References: - https://www.youtube.com/watch?v=AMzGorD28Ks - https://securitylab.github.com/tools/codeql
2020-11-14Meta: Use SerenityBot for IRC notificationsBen Wiederhake
This avoids "useless" join/part notifications.
2020-11-14Meta: Let toolchain patches invalidate toolchain cacheBen Wiederhake
Fixes #4072.
2020-11-14Meta: Fix broken IRC notification for drafts and skipsBen Wiederhake
2020-11-13Meta: Nicer IRC notificationsBen Wiederhake
2020-11-13Meta: Ensure availability of pythonBen Wiederhake
2020-11-08Meta: Enable Github ActionsBen Wiederhake
2019-11-02Meta: Add GitHub Sponsors to funding optionsAndreas Kling
2019-08-25Meta: Add funding links to get a "Sponsor" button on GitHubAndreas Kling