From 5ba047a47320b532746fe50885a5964ce8b43156 Mon Sep 17 00:00:00 2001 From: Ravind Kumar Date: Wed, 13 Nov 2024 15:16:36 -0500 Subject: [PATCH] Adding minimal workflow to reduce build times --- .build-docs-ci-minimal.sh.kate-swp | Bin 0 -> 376 bytes .github/workflows/makefile.yml | 3 -- .github/workflows/pr-makefile.yml | 43 +++++++++++++++++++++++++++++ build-docs-ci-minimal.sh | 37 +++++++++++++++++++++++++ 4 files changed, 80 insertions(+), 3 deletions(-) create mode 100644 .build-docs-ci-minimal.sh.kate-swp create mode 100644 .github/workflows/pr-makefile.yml create mode 100755 build-docs-ci-minimal.sh diff --git a/.build-docs-ci-minimal.sh.kate-swp b/.build-docs-ci-minimal.sh.kate-swp new file mode 100644 index 0000000000000000000000000000000000000000..53874f5947a5ca850cb1131bfd26b2bc651d7bb3 GIT binary patch literal 376 zcmZQzU=Z?7EJ;-eE>A2_aLdd|RWQ;sU|?Vn$+#*t?^@~AEhip*y2JC|aqX@{_vC|v zfHKlR3<4G)jue>5z#t3aNI*HxAdWbcqXFWGLOJFjjtG>a1mXxG%LpRN@FC0a!el~$ z3>gq14I-pKgd~WN01@IKLJUNRf(Q{1Aq*mfK!hNO5C9SUAcD^|7)0^9f_(*ZlnKaD r!axiH(jX4ZQ3fE607w`Jz;