diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index eae7b11..5cf37d7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -22,3 +22,5 @@ jobs:
         with:
           filename: test-test
       - run: echo "autograding emulator"
+      - run: sudo apt install cmatrix
+      - run: ghc --version > ./ghc-version.txt
diff --git a/.github/workflows/log-push.yml b/.github/workflows/log-push.yml
index bb9c349..0579fe7 100644
--- a/.github/workflows/log-push.yml
+++ b/.github/workflows/log-push.yml
@@ -10,4 +10,11 @@ jobs:
   dummy:
     runs-on: ubuntu-latest
     steps:
-      - run: echo "TODO"
+      - uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+      - run: date >> push.log
+      - run: git config --global user.name ${GITHUB_ACTOR}
+      - run: git add .
+      - run: git commit -m 'log push'
+      - run: git push