Merge pull request #1039 from coq/retry-ci

ci: add a retry action to avoid sporadic fails
coq · Feb 21, 2025 · e1ae5c8 · e1ae5c8
2 parents d562906 + ea93302
commit e1ae5c8
Show file tree

Hide file tree

Showing 5 changed files with 19 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -55,9 +55,21 @@ jobs:
         diff search-ui/new_yarn.nix search-ui/yarn.nix
     - run: nix develop .#vscoq-${{ matrix.coq }} -c bash -c "cd language-server && dune build --profile ${{ matrix.profile }}"
     - run: nix develop .#vscoq-${{ matrix.coq }} -c bash -c "cd client && yarn run install:all && yarn run build:all && yarn run compile"
-    - run: xvfb-run nix develop .#vscoq-${{ matrix.coq }} -c bash -c "cd client && yarn test"
+    - name: Test xvfb
+      uses: Wandalen/wretry.action@v3
+      with:
+        attempt_limit: 5
+        attempt_delay: 5000
+        command: |
+            xvfb-run nix develop .#vscoq-${{ matrix.coq }} -c bash -c "cd client && yarn test"
       if: runner.os == 'Linux'
-    - run: nix develop .#vscoq-${{ matrix.coq }} -c bash -c "cd client && yarn test"
+    - name: Test
+      uses: Wandalen/wretry.action@v3
+      with:
+        attempt_limit: 5
+        attempt_delay: 5000
+        command: |
+            nix develop .#vscoq-${{ matrix.coq }} -c bash -c "cd client && yarn test"
       if: runner.os != 'Linux'
     - if: ${{ failure() }}
       run: cat /tmp/vscoq_init_log.*

diff --git a/client/src/test/suite/extension.test.ts b/client/src/test/suite/extension.test.ts
@@ -12,7 +12,7 @@ suite('Should get diagnostics', function () {
 
 		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
-		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode',1);
 
         const doc = await common.openTextFile('basic.v');
 
@@ -35,7 +35,7 @@ suite('Should get diagnostics', function () {
 
 		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
-		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode',1);
 
         const doc1 = await common.openTextFile('basic.v');
 		const doc2 = await common.openTextFile('warn.v');

diff --git a/client/src/test/suite/feedback.test.ts b/client/src/test/suite/feedback.test.ts
@@ -13,7 +13,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
-		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode',1);
 
         const doc1 = await common.openTextFile('basic.v');
 		const doc2 = await common.openTextFile('warn.v');

diff --git a/client/src/test/suite/feedback_delegation.test.ts b/client/src/test/suite/feedback_delegation.test.ts
@@ -14,7 +14,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Delegate');
-		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode',1);
 
 		const doc1 = await common.openTextFile('delegate_proof.v');
 		const doc2 = await common.openTextFile('warn.v');

diff --git a/client/src/test/suite/feedback_skip.test.ts b/client/src/test/suite/feedback_skip.test.ts
@@ -14,7 +14,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Skip');
-		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode',1);
 
 		const doc1 = await common.openTextFile('delegate_proof.v');