Skip to content
This repository has been archived by the owner on Jun 17, 2020. It is now read-only.

new benchmarks document #667

Closed
wants to merge 3 commits into from
Closed

new benchmarks document #667

wants to merge 3 commits into from

Conversation

denisshevchenko
Copy link

#666.

@denisshevchenko denisshevchenko self-assigned this Aug 26, 2019
@denisshevchenko denisshevchenko mentioned this pull request Aug 26, 2019
Open
Denis Shevchenko and others added 2 commits August 26, 2019 13:19
WIP: fix code snippet.
d0163a0
@CodiePP
edited
b30e5af 
Signed-off-by: Alexander Diemand <[email protected]>
@CodiePP CodiePP removed the WIP label Aug 28, 2019
@CodiePP
Copy link
Contributor

CodiePP commented Aug 28, 2019

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Aug 28, 2019

🔒 Permission denied

Existing reviewers: click here to make CodiePP a reviewer

@CodiePP CodiePP requested a review from cleverca22 August 28, 2019 08:26
@CodiePP CodiePP changed the title WIP: new benchmarks document new benchmarks document Oct 14, 2019
@CodiePP
Copy link
Contributor

CodiePP commented Oct 14, 2019

this PR should be merged as it starts to rot

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@CodiePP CodiePP CodiePP approved these changes

@365andreas 365andreas Awaiting requested review from 365andreas

@cleverca22 cleverca22 Awaiting requested review from cleverca22

Assignees

@denisshevchenko denisshevchenko

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@denisshevchenko @CodiePP @disassembler