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 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...