Skip to main content

Browse the archive

Revision ce0255967c09114889b1ca1ddda6730d80664e3d authored by Philippe Bidinger on 04 September 2019, 14:29:59 UTC, committed by Pierre Boutillier on 11 December 2019, 11:24:55 UTC 
Tests: remove redundant bash tests from CI
1 parent dd005a5
Raw File
.gitattributes 
.gitignore	export-ignore
.gitattributes	export-ignore
.gitlab-ci.yml	export-ignore
src/lib_version/current_git_info.ml	export-subst
back to top