Skip to content
Snippets Groups Projects
Select Git revision
  • e6ba8c97eca653aed38b045b6bdd2d86951d4ba5
  • 2023 default protected
2 results

psmpi-5.5.0-1_ime.patch

Blame
  • create_version_badge.sh NaN GiB
    #!/bin/bash
    
    VERSION="$(git describe --tags $(git rev-list --tags --max-count=1))"
    COLOR="blue"
    BADGE_NAME="version"
    
    ls .
    ./CI/update_badge.sh -b ${BADGE_NAME} -c ${COLOR} -s ${VERSION}
    
    exit 0