Skip to content

Activity

Showing most recent first

Rework agent labels

Cervatorpushed 1 commit to develop • 4936994…262464f • 
on Dec 31, 2024

Syntax fix for newer Jenkins

Cervatorpushed 1 commit to develop • 3a73e56…4936994 • 
on Dec 15, 2024

Deleted branch

BenjaminAmosdeleted java17 • 
on Nov 17, 2023

ci: use java17 builder (#26)

Pull request merge
BenjaminAmospushed 1 commit to develop • b859991…3a73e56 • 
on Nov 17, 2023

ci: use java17 builder

BenjaminAmoscreated java17 • 1002902 • 
on Nov 17, 2023