Changes

#11 (Feb 21, 2023, 2:38:11 PM)

1. Add TagBot — Heuermann Andreas / githubweb

#9 (Feb 21, 2023, 2:35:51 PM)

1. Add TagBot — Heuermann Andreas / githubweb

#8 (Feb 21, 2023, 2:16:46 PM)

1. Updating compat — Heuermann Andreas / githubweb
2. Update Jenkinsfile — Heuermann Andreas / githubweb

#7 (Feb 21, 2023, 2:14:06 PM)

1. Update Jenkinsfile — Heuermann Andreas / githubweb

#6 (Feb 21, 2023, 2:08:41 PM)

1. Update Jenkinsfile — Heuermann Andreas / githubweb

#5 (Feb 21, 2023, 2:07:11 PM)

1. Update Jenkinsfile — Heuermann Andreas / githubweb

#4 (Feb 21, 2023, 2:04:36 PM)

1. Update Jenkinsfile — Heuermann Andreas / githubweb

#3 (Feb 21, 2023, 1:27:20 PM)

1. Updating compat — Heuermann Andreas / githubweb

#2 (Feb 21, 2023, 12:57:35 PM)

1. Updating compat — Heuermann Andreas / githubweb