From 8f0aa7ddc0812bf96c41e820cc35f693100e148a Mon Sep 17 00:00:00 2001
From: n59321jh <joshua.hines@student.manchester.ac.uk>
Date: Thu, 8 Aug 2024 17:23:11 +0100
Subject: [PATCH] v2 action test

---
 .github/workflows/test_workflow.yml | 8 ++++----
 cmd-rename-window.c                 | 2 +-
 file.c                              | 2 +-
 layout.c                            | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/test_workflow.yml b/.github/workflows/test_workflow.yml
index 0c030a4b5..58fb5d4b3 100644
--- a/.github/workflows/test_workflow.yml
+++ b/.github/workflows/test_workflow.yml
@@ -8,6 +8,8 @@ jobs:
     steps:
       - name: checkout
         uses: actions/checkout@v4
+        with:
+          fetch-depth: 2
       
       - name: install dependencies
         run: |
@@ -16,13 +18,11 @@ jobs:
           wget -O ncurses.tar.gz https://invisible-mirror.net/archives/ncurses/ncurses-6.5.tar.gz
           tar -xf ncurses.tar.gz
           ls
-          cd libevent-2.1.12-stable
-          ls
       
       - name: run esbmc action
-        uses: esbmc/esbmc-action@v1
+        uses: esbmc/esbmc-action@v2
         with:
           esbmc-options: --incremental-bmc --include-file tmux.h
+          checkout: n
       
-      - run: ls
         
diff --git a/cmd-rename-window.c b/cmd-rename-window.c
index 6d529afaa..721e0e3a9 100644
--- a/cmd-rename-window.c
+++ b/cmd-rename-window.c
@@ -1,4 +1,4 @@
-// Test with ESBMC action
+// Test with ESBMC action.
 /* $OpenBSD$ */
 
 /*
diff --git a/file.c b/file.c
index 88d7f4fed..4dec630c2 100644
--- a/file.c
+++ b/file.c
@@ -1,4 +1,4 @@
-// Test with ESBMC action
+// Test with ESBMC action.
 /* $OpenBSD$ */
 
 /*
diff --git a/layout.c b/layout.c
index 353f98070..dbc767654 100644
--- a/layout.c
+++ b/layout.c
@@ -1,4 +1,4 @@
-// Test with ESBMC action
+// Test with ESBMC action.
 /* $OpenBSD$ */
 
 /*