Merge branch 'james/mainline/abcipp-ci' (#824)

* james/mainline/abcipp-ci: Add changelog Check code compiles with abcipp feature enabled in CI
anoma · Dec 8, 2022 · f9d72f0 · f9d72f0
2 parents 2686cc4 + eac60ac
commit f9d72f0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.changelog/unreleased/ci/824-abcipp-ci.md b/.changelog/unreleased/ci/824-abcipp-ci.md
@@ -0,0 +1 @@
+- Run `make check-abcipp` in CI ([#824](https://github.com/anoma/namada/pull/824))
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -29,6 +29,10 @@ jobs:
         os: [ubuntu-20.04]
         nightly_version: [nightly-2022-11-03]
         make:
+          - name: Check ABCI++
+            command: check-abcipp
+            cache_subkey: abcipp
+            cache_version: v1
           - name: Clippy
             command: clippy
             cache_subkey: clippy
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		- Run `make check-abcipp` in CI ([#824](https://github.com/anoma/namada/pull/824))