ci: specify environment for publish job (#193)

a16z · Sep 16, 2023 · adcbe0d · adcbe0d
1 parent 933117a
commit adcbe0d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -5,6 +5,7 @@ on:
 jobs:
   pypi:
     runs-on: ubuntu-latest
+    environment: release
     steps:
       - name: Checkout
         uses: actions/checkout@v3

diff --git a/examples/tokens/ERC20/test/CurveTokenV3.t.sol b/examples/tokens/ERC20/test/CurveTokenV3.t.sol
@@ -4,6 +4,8 @@ pragma solidity >=0.8.0 <0.9.0;
 import {SymTest} from "halmos-cheatcodes/SymTest.sol";
 import {ERC20Test} from "./ERC20Test.sol";
 
+// https://github.com/curvefi/curve-contract/blob/master/contracts/tokens/CurveTokenV3.vy
+
 // Auto-generated by https://bia.is/tools/abi2solidity/
 interface CurveTokenV3 {
   function decimals (  ) external view returns ( uint256 );