From 03a4cdb6d3a5af01fe2589836dd1139019a07fdb Mon Sep 17 00:00:00 2001 From: Stefan Roiser Date: Sat, 22 Nov 2025 19:19:45 +0100 Subject: [PATCH 1/5] new file --- .github/workflows/mg5_ghci.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 .github/workflows/mg5_ghci.yml diff --git a/.github/workflows/mg5_ghci.yml b/.github/workflows/mg5_ghci.yml new file mode 100644 index 0000000000..aab8ea1643 --- /dev/null +++ b/.github/workflows/mg5_ghci.yml @@ -0,0 +1,15 @@ +name: ghci + +on: + push: + branches: [ $default-branch ] + +jobs: + test: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + - name: hello world + run: echo hello world From fc2941c294a3d925760b7f5b8a584570831ba893 Mon Sep 17 00:00:00 2001 From: Stefan Roiser Date: Sat, 22 Nov 2025 19:23:08 +0100 Subject: [PATCH 2/5] change branch --- .github/workflows/mg5_ghci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mg5_ghci.yml b/.github/workflows/mg5_ghci.yml index aab8ea1643..4526f511c4 100644 --- a/.github/workflows/mg5_ghci.yml +++ b/.github/workflows/mg5_ghci.yml @@ -2,7 +2,7 @@ name: ghci on: push: - branches: [ $default-branch ] + branches: ghci jobs: test: From ad00ca6fa016def723fc96cd9b0a57d051d1a58e Mon Sep 17 00:00:00 2001 From: Stefan Roiser Date: Sun, 23 Nov 2025 19:44:49 +0100 Subject: [PATCH 3/5] pwd --- .github/workflows/mg5_ghci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mg5_ghci.yml b/.github/workflows/mg5_ghci.yml index 4526f511c4..50bc111e0a 100644 --- a/.github/workflows/mg5_ghci.yml +++ b/.github/workflows/mg5_ghci.yml @@ -12,4 +12,4 @@ jobs: steps: - uses: actions/checkout@v4 - name: hello world - run: echo hello world + run: echo hello world && echo `pwd` From 49af87e1d06320df389a2667bccfa22ff6af388b Mon Sep 17 00:00:00 2001 From: Stefan Roiser Date: Sun, 23 Nov 2025 19:46:27 +0100 Subject: [PATCH 4/5] Enhance hello world step with directory listing --- .github/workflows/mg5_ghci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mg5_ghci.yml b/.github/workflows/mg5_ghci.yml index 50bc111e0a..efa4b34575 100644 --- a/.github/workflows/mg5_ghci.yml +++ b/.github/workflows/mg5_ghci.yml @@ -12,4 +12,4 @@ jobs: steps: - uses: actions/checkout@v4 - name: hello world - run: echo hello world && echo `pwd` + run: echo hello world && echo `pwd` && echo `ls` From 1f8ca4294852d91bf92df7c02fa3522b4d8ff9c8 Mon Sep 17 00:00:00 2001 From: Stefan Roiser Date: Wed, 26 Nov 2025 14:32:04 +0100 Subject: [PATCH 5/5] update submodule --- .github/workflows/mg5_ghci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mg5_ghci.yml b/.github/workflows/mg5_ghci.yml index efa4b34575..196293db22 100644 --- a/.github/workflows/mg5_ghci.yml +++ b/.github/workflows/mg5_ghci.yml @@ -12,4 +12,4 @@ jobs: steps: - uses: actions/checkout@v4 - name: hello world - run: echo hello world && echo `pwd` && echo `ls` + run: echo hello world && echo `pwd` && echo `ls` && echo Environment\n\n && printenv