Merge branch 'single_ci' into 'master'
e73f75e8a91d
Actions

Description

Merge branch 'single_ci' into 'master'

Smaller CI on dev branches

Closes #38

See merge request hej/HEJ!145

Provenance

Jeppe R. Andersen <jeppe.andersen@durham.ac.uk>	Authored on May 18 2020, 11:57 AM
hej	Pushed on Jan 14 2021, 6:07 PM

Parents

Branches

Unknown

Tags

Unknown

Jeppe R. Andersen <jeppe.andersen@durham.ac.uk> committed rHEJe73f75e8a91d: Merge branch 'single_ci' into 'master' (authored by Jeppe R. Andersen <jeppe.andersen@durham.ac.uk>).May 18 2020, 11:57 AM

Path

Size