about summary refs log tree commit diff homepage
path: root/.github
AgeCommit message (Expand)Author
2021-09-10llvm12: Add LLVM 12 to Travis CI and GitHub ActionsLukas Zaoral
2021-02-26Improved PR template by making it more succinct.Cristian Cadar
2020-12-04llvm11: Add LLVM 11 to GitHub Actions and Travis CILukas Zaoral
2020-12-02Fix Codecov uploadMartin Nowack
2020-12-02Use Github Actions as default CIMartin Nowack
2020-12-02Add Github Actions for KLEE CI based @jordrMartin Nowack
2020-09-21Added a PR template, with a checklist documenting the most frequent issues we...Cristian Cadar
2019-05-07Update issue templatesCristian Cadar