Merge pull request #87 from eMoflon/feature/update-eclipse-2024-09 · eMoflon/emoflon-ilp@37920fc

Triggered via push September 20, 2024 07:02

maxkratz

main

Status Success

Total duration 3m 11s

Artifacts 3

ci.yml

on: push

Produced during runtime