Echtzeitsysteme/tchecker
1
0
Fork 0
mirror of https://github.com/Echtzeitsysteme/tchecker.git synced 2024-05-20 20:00:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
tchecker/ci-scripts
History
alzeha 9ea0e5214d Intermediate (#3) 
very first working version
2024-05-14 18:18:14 +02:00
..
build.sh added first version of vcg 2024-05-14 18:18:14 +02:00
Dockerfile Intermediate (#3) 2024-05-14 18:18:14 +02:00
github-ubuntu-build-and-test-clang.sh added first version of vcg 2024-05-14 18:18:14 +02:00
github-ubuntu-build-and-test-gcc.sh added first version of vcg 2024-05-14 18:18:14 +02:00
show-config.sh Add travis config. 2019-08-30 16:37:39 +02:00
test.sh chg: add github actions script for CI 2021-07-22 09:51:04 +02:00