Skip to content

Commit eb38d25

Browse files
authored
Remove Jenkinsfile, build was migrated to Github actions (#194)
1 parent 068c410 commit eb38d25

File tree

1 file changed

+0
-44
lines changed

1 file changed

+0
-44
lines changed

reproducible/Jenkinsfile

Lines changed: 0 additions & 44 deletions
This file was deleted.

0 commit comments

Comments
 (0)