diff --git a/.changelog/unreleased/ci/824-abcipp-ci.md b/.changelog/unreleased/ci/824-abcipp-ci.md new file mode 100644 index 0000000000..541b5a3590 --- /dev/null +++ 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)) \ No newline at end of file diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index dd62a78d6a..094485da41 100644 --- 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