Content - adb400f06a009c034b7cc6e72c5f49ecd30c7614 - ef7e8ae/scripts/install/get-commit

visit type:

Tip revision: acfd4ea7d779487e774eb6aa8c3deeae783aafd8 authored by Pierre-Yves Strub on 16 April 2020, 14:56:46 UTC
Definition of quotient types w.r.t. a equivalence relation

Tip revision: acfd4ea

get-commit

#! /bin/bash

# --------------------------------------------------------------------
hash=$(head -n 1 <(git rev-parse HEAD 2>/dev/null))

if [[ "${hash}" =~ ^[a-fA-F0-9]{40}$ ]]; then
  echo -n "${hash}"
fi

Browse the archive

https://github.com/EasyCrypt/easycrypt