Skip to content

chore: remove useless code#1336

Merged
Flouse merged 1 commit intomainfrom
yangby/chore/remove-useless
Aug 18, 2023
Merged

chore: remove useless code#1336
Flouse merged 1 commit intomainfrom
yangby/chore/remove-useless

Conversation

@chaoticlonghair
Copy link
Copy Markdown
Contributor

What this PR does / why we need it?

This PR remove useless code.

Those examples are not existed.

What is the impact of this PR?

No Breaking Change

CI Settings

CI Usage

Tip: Check the CI you want to run below, and then comment /run-ci.

CI Switch

  • Cargo Clippy
  • Coverage Test
  • E2E Tests
  • Code Format
  • Unit Tests
  • Web3 Compatible Tests
  • OCT 1-5 And 12-15
  • OCT 6-10
  • OCT 11
  • OCT 16-19
  • v3 Core Tests

CI Description

CI Name Description
Chaos CI Test the liveness and robustness of Axon under terrible network condition
Cargo Clippy Run cargo clippy --all --all-targets --all-features
Coverage Test Get the unit test coverage report
E2E Test Run end-to-end test to check interfaces
Code Format Run cargo +nightly fmt --all -- --check and cargo sort -gwc
Web3 Compatible Test Test the Web3 compatibility of Axon
v3 Core Test Run the compatibility tests provided by Uniswap V3
OCT 1-5 | 6-10 | 11 | 12-15 | 16-19 Run the compatibility tests provided by OpenZeppelin

@chaoticlonghair chaoticlonghair requested a review from a team as a code owner August 18, 2023 06:07
@chaoticlonghair chaoticlonghair requested review from ahonn and ashuralyk and removed request for ahonn and ashuralyk August 18, 2023 06:07
@github-actions github-actions Bot added the chore label Aug 18, 2023
@Flouse Flouse requested review from a team, Simon-Tl and felicityin and removed request for a team August 18, 2023 09:17
@Flouse Flouse enabled auto-merge August 18, 2023 09:17
@Flouse Flouse added this pull request to the merge queue Aug 18, 2023
Merged via the queue into main with commit 2014fa6 Aug 18, 2023
@Flouse Flouse deleted the yangby/chore/remove-useless branch August 18, 2023 10:27
KaoImin pushed a commit that referenced this pull request Aug 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants