New workflow (#98) (#517)

etos-pull-request-permissions[bot] · web-flow · commit 970b3ecae661 · 2026-02-19T08:32:37.000+01:00
* Remove manifests

* Update to a workflow that creates pull requests on ETOS

* Properly quote the pr body

* Remove unused variable

* Depend on the correct job

* Add whitespace to variable

Co-authored-by: etos-pull-request-permissions[bot] &lt;258758802+etos-pull-request-permissions[bot]@users.noreply.github.com&gt;
diff --git a/defaults/log_listener.yaml b/defaults/log_listener.yaml
@@ -1,2 +1,2 @@
 image: ghcr.io/eiffel-community/etos-log-listener
-version: 08850be7
+version: fbe678cc
diff --git a/defaults/suite_runner.yaml b/defaults/suite_runner.yaml
@@ -1,2 +1,2 @@
 image: ghcr.io/eiffel-community/etos-suite-runner
-version: 08850be7
+version: fbe678cc

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`image: ghcr.io/eiffel-community/etos-log-listener`
`2`		`-version: 08850be7`
	`2`	`+version: fbe678cc`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`image: ghcr.io/eiffel-community/etos-suite-runner`
`2`		`-version: 08850be7`
	`2`	`+version: fbe678cc`