search

mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels
http://multicore.doc.ic.ac.uk/tools/GPUVerify/
Other
58 stars 15 forks source link

Add TravisCI and DockerBuild integration #4

Closed delcypher closed 6 years ago

delcypher commented 9 years ago

Once this repo becomes public we should add TravisCI and DockerBuild integration so that tests run automatically for every push and so tests get run on pull requests. The Docker integration would also mean the a new Docker image would be built for every push (provided the tests pass).

jeroenk commented 6 years ago

Closing this, as we have a basic TravisCI setup now, although it still needs to be enhanced.

I dropped the Docker image, as I neither have the ability nor the motivation to maintain it.