Merge pull request #53 from eMoflon/feature/eclipse-2023-12-update · eMoflon/emoflon-ilp@d899edf

Triggered via push January 4, 2024 10:14

maxkratz

main

Status Success

Total duration 2m 54s

Artifacts 3

ci.yml

on: push

Produced during runtime

Name	Size
javadoc Expired	305 KB
org.emoflon.ilp Expired	1.01 MB
org.emoflon.ilp.updatesite Expired	1.06 MB