about summary refs log tree commit diff homepage
path: root/.github/workflows
AgeCommit message (Expand)Author
2021-09-10llvm12: Add LLVM 12 to Travis CI and GitHub ActionsLukas Zaoral
2020-12-04llvm11: Add LLVM 11 to GitHub Actions and Travis CILukas Zaoral
2020-12-02Fix Codecov uploadMartin Nowack
2020-12-02Add Github Actions for KLEE CI based @jordrMartin Nowack