This website requires JavaScript.
Explore
Help
Sign In
devs
/
cproof
Watch
1
Star
2
Fork
1
You've already forked cproof
Code
Issues
43
Pull Requests
6
Actions
Packages
Projects
1
Releases
Wiki
Activity
7,821
Commits
62
Branches
0
Tags
c7834e022bf8628cd7ba7dd29ec7eb0fd7ffd0a9
Commit Graph
3 Commits
Author
SHA1
Message
Date
Michael Vetter
551aea683a
ci: Only print log file if we find it
2026-03-20 12:47:39 +01:00
Michael Vetter
3596e4c263
ci: Run functional tests only in the case of meson
...
Remove stabber from Dockerfiles were we only build with autotools.
2026-03-20 12:45:40 +01:00
Michael Vetter
8548dfca96
ci: Move CI related files into own directory
2026-03-20 08:36:17 +01:00