Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/main' into certora/dev
Browse files Browse the repository at this point in the history
  • Loading branch information
QGarchery committed Nov 21, 2023
2 parents 0ff92f8 + f463e40 commit 610719a
Show file tree
Hide file tree
Showing 27 changed files with 406 additions and 295 deletions.
7 changes: 4 additions & 3 deletions .github/workflows/foundry.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,12 +21,12 @@ jobs:
- type: "slow"
fuzz-runs: 10000
max-test-rejects: 500000
invariant-runs: 48
invariant-depth: 2048
invariant-runs: 0
invariant-depth: 512
- type: "fast"
fuzz-runs: 256
max-test-rejects: 65536
invariant-runs: 16
invariant-runs: 0
invariant-depth: 256

runs-on: ubuntu-latest
Expand All @@ -45,3 +45,4 @@ jobs:
FOUNDRY_FUZZ_MAX_TEST_REJECTS: ${{ matrix.max-test-rejects }}
FOUNDRY_INVARIANT_RUNS: ${{ matrix.invariant-runs }}
FOUNDRY_INVARIANT_DEPTH: ${{ matrix.invariant-depth }}
FOUNDRY_FUZZ_SEED: 0x${{ github.event.pull_request.base.sha || github.sha }}
20 changes: 20 additions & 0 deletions .github/workflows/npm-release.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
name: Publish on NPM

on:
workflow_dispatch:

jobs:
publish-to-npm:
name: Publish to NPM
runs-on: ubuntu-latest
environment:
name: npm
url: https://www.npmjs.com/package/@morpho-org/morpho-blue
steps:
- name: Checkout
uses: actions/checkout@v3

- name: Publish to npm
run: |
echo "//registry.npmjs.org/:_authToken=${{ secrets.NPM_TOKEN }}" > ~/.npmrc
yarn publish --access public
Binary file not shown.
Binary file not shown.
Binary file not shown.
2 changes: 1 addition & 1 deletion foundry.toml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ via-ir = true
optimizer_runs = 4294967295

[profile.default.invariant]
runs = 16
runs = 8
depth = 256
fail_on_revert = true

Expand Down
11 changes: 8 additions & 3 deletions package.json
Original file line number Diff line number Diff line change
@@ -1,10 +1,15 @@
{
"name": "morpho-blue",
"name": "@morpho-org/morpho-blue",
"description": "Morpho Blue Protocol",
"license": "BUSL-1.1",
"version": "1.0.0",
"version": "0.1.0",
"files": [
"src",
"README.md",
"LICENSE"
],
"scripts": {
"postinstall": "husky install && forge install",
"prepare": "husky install && forge install",
"build:forge": "FOUNDRY_PROFILE=build forge build",
"build:hardhat": "npx hardhat compile",
"test:forge": "FOUNDRY_PROFILE=test forge test",
Expand Down
1 change: 0 additions & 1 deletion remappings.txt

This file was deleted.

Loading

0 comments on commit 610719a

Please sign in to comment.