From 99ae2c7b66ed7eb2fa79dda8b8aea5b065b34cf1 Mon Sep 17 00:00:00 2001 From: horsefacts Date: Wed, 8 Feb 2023 13:17:08 -0500 Subject: [PATCH] Update github workflow --- .github/workflows/test.yml | 6 +++++- README.md | 4 ++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 09880b1..c4d490b 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -1,6 +1,10 @@ name: test -on: workflow_dispatch +on: + push: + branches: + - main + pull_request: env: FOUNDRY_PROFILE: ci diff --git a/README.md b/README.md index 396f795..ab79848 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,7 @@ +# WETH Invariant Testing + +![Build Status](https://github.com/horsefacts/promises/actions/workflows/.github/workflows/test.yml/badge.svg?branch=main) + There's been a lot of interest recently in _invariant testing_, a new feature in the Foundry toolkit, but so far there's not much documentation on getting started with this advanced testing technique. The Maple Finance [invariant test repo](https://github.com/maple-labs/maple-core-v2/tree/main/tests/invariants), this [example repo](https://github.com/lucas-manuel/invariant-examples) from [Lucas Manuel](https://twitter.com/lucasmanuel_eth), and a forthcoming section in the [Foundry book](https://github.com/foundry-rs/book/pull/760/files) are all great resources, but it's still tough to get up and running. In this short guide, we'll write invariant tests from the ground up for Wrapped Ether, one of the most important contracts on mainnet.