From 1cea28a98db7191fd20f1d8fdee53a907c9434a2 Mon Sep 17 00:00:00 2001 From: Edward Hartnett Date: Fri, 8 Nov 2024 00:06:55 -0700 Subject: [PATCH] added dev_extra workflow --- .github/workflows/dev_extra.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/dev_extra.yml b/.github/workflows/dev_extra.yml index a2b7757a..1eafe7c8 100644 --- a/.github/workflows/dev_extra.yml +++ b/.github/workflows/dev_extra.yml @@ -4,7 +4,7 @@ # and address sanitizer. # # Ed Hartnett, 12/22/22 -name: developer +name: dev_extra on: push: branches: @@ -18,7 +18,7 @@ concurrency: cancel-in-progress: true jobs: - developer: + dev_extra: runs-on: ubuntu-latest env: FC: gfortran