https://github.com/uds-psl/cook-levin
Revision e4f66378ff74161b33820b4a88ad8ae09332f649 authored by Fabian Kunze on 07 November 2020, 16:34:12 UTC, committed by GitHub on 07 November 2020, 16:34:12 UTC
* Added github CI * updated metacoq to match * travis ci for pushes only on master * github-ci only once on PR * removed tests&doc build of deps from ci
1 parent 307d840
Tip revision: e4f66378ff74161b33820b4a88ad8ae09332f649 authored by Fabian Kunze on 07 November 2020, 16:34:12 UTC
Added github CI (#6)
Added github CI (#6)
Tip revision: e4f6637
| File | Mode | Size |
|---|---|---|
| .github | ||
| theories | ||
| website | ||
| .gitignore | -rw-r--r-- | 120 bytes |
| .travis.yml | -rw-r--r-- | 1.6 KB |
| CeCILL_LICENSE.txt | -rw-r--r-- | 21.3 KB |
| Makefile | -rw-r--r-- | 162 bytes |
| README.md | -rw-r--r-- | 2.3 KB |
| opam | -rw-r--r-- | 976 bytes |
Computing file changes ...
