diff options
author | Johannes Stoelp <johannes.stoelp@gmail.com> | 2023-12-08 00:49:28 +0100 |
---|---|---|
committer | Johannes Stoelp <johannes.stoelp@gmail.com> | 2023-12-08 00:53:19 +0100 |
commit | b5aea3fb5fcce31599e3d7397d5413a934132231 (patch) | |
tree | 3cc276b4a42d8864ede5283bc2c51eeaafff1228 /ci/git@git.memzero.de:mirror | |
parent | d233e44b04da45dcc99980662db6d3776d9f4a10 (diff) | |
download | juicebox-asm-b5aea3fb5fcce31599e3d7397d5413a934132231.tar.gz juicebox-asm-b5aea3fb5fcce31599e3d7397d5413a934132231.zip |
ci: introduce Makefile
Add CI checks into ci/Makefile and update gh actions.
Motivation is, that makefile can also be added as pre-commit hook for
local development:
> echo 'make -C ci' > .git/hooks/pre-commit; chmod +x .git/hooks/pre-commit
Diffstat (limited to 'ci/git@git.memzero.de:mirror')
0 files changed, 0 insertions, 0 deletions