From 6057c8cbe83f3583309d9262b5e4fc526da46714 Mon Sep 17 00:00:00 2001
From: Jon Zlotnik <me@jonzlotnik.info>
Date: Mon, 6 Mar 2023 22:11:25 -0500
Subject: [PATCH] installed tarpaulin crate prior to use

---
 .github/workflows/push.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index b233dc67..6f6d6025 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -170,6 +170,10 @@ jobs:
         with:
           path: target
           key: ${{ runner.os }}-coverage-cargo-build-target
+      - uses: actions-rs/install@v0.1
+        with:
+          crate: cargo-tarpaulin
+          version: v0.25.1
       - uses: actions-rs/tarpaulin@v0.1
         with:
           args: --all