Skip to content

Commit

Permalink
Failed to generate IR Issue.
Browse files Browse the repository at this point in the history
  • Loading branch information
AaronLee22 committed Mar 18, 2024
1 parent 865247e commit f5259c1
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 4 deletions.
6 changes: 4 additions & 2 deletions .github/workflows/slither-check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name: slither analysis
on:
push:
paths:
- 'packages/tokamak/contracts-bedrock/**'
- '**'

jobs:
analyze:
Expand Down Expand Up @@ -64,7 +64,9 @@ jobs:
- name: Build the contracts
run: |
cd packages/tokamak/contracts-bedrock
forge build --build-info --skip '*/test/**' '*/scripts/**'
forge build
# forge build --build-info --skip '*/test/**' '*/scripts/**'


# Analyze smart contracts with Slither
- name: Run Slither
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,8 @@ pragma solidity >=0.7.0 <0.9.0;

import "forge-std/Test.sol";
import "scripts/libraries/LibSort.sol";
import { Safe as GnosisSafe, OwnerManager, ModuleManager, GuardManager } from "safe-contracts/Safe.sol";
import "safe-contracts/Safe.sol";
import "./CompatibilityFallbackHandler_1_3_0.sol";
import { SafeProxyFactory as GnosisSafeProxyFactory } from "safe-contracts/proxies/SafeProxyFactory.sol";
import { Enum } from "safe-contracts/common/Enum.sol";
import { SignMessageLib } from "safe-contracts/libraries/SignMessageLib.sol";
Expand All @@ -28,7 +29,7 @@ contract OwnerSimulator is OwnerManager {
}

/// @dev collapsed interface that includes comapatibilityfallback handler calls
abstract contract DeployedSafe is GnosisSafe, CompatibilityFallbackHandler { }
abstract contract DeployedSafe is GnosisSafe, CompatibilityFallbackHandler_1_3_0 { }

struct AdvancedSafeInitParams {
bool includeFallbackHandler;
Expand Down

0 comments on commit f5259c1

Please sign in to comment.