v2 action test

Goblin57 · Aug 8, 2024 · 8f0aa7d · 8f0aa7d
1 parent bb68acb
commit 8f0aa7d
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git 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
@@ -1,4 +1,4 @@
-// Test with ESBMC action
+// Test with ESBMC action.
 /* $OpenBSD$ */
 
 /*

diff --git 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
@@ -1,4 +1,4 @@
-// Test with ESBMC action
+// Test with ESBMC action.
 /* $OpenBSD$ */
 
 /*