Last GitHub Push
Started on 2024 Oct 15 16:53:52 Started by event from 140.82.115.62 ⇒ https://marco-compiler.com:8080/jenkins/github-webhook/ on Tue Oct 15 16:53:52 CEST 2024 Build disabled Done. Took 0 ms No changes
Started on 2024 Oct 15 16:53:52 Started by event from 140.82.115.62 ⇒ https://marco-compiler.com:8080/jenkins/github-webhook/ on Tue Oct 15 16:53:52 CEST 2024 Build disabled Done. Took 0 ms No changes