Files

 main

/

githooks

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

amwolff

ci: rework Jenkinsfile/Makefile

Jul 15, 2022

4f1f9e1 · Jul 15, 2022

History

History

/

githooks

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
pre-commit		pre-commit	ci: rework Jenkinsfile/Makefile	Jul 15, 2022
View all files