Skip to content
This repository has been archived by the owner on Mar 1, 2022. It is now read-only.

Add script size and budget calculation #25

Merged
merged 3 commits into from
Dec 24, 2021
Merged

Add script size and budget calculation #25

merged 3 commits into from
Dec 24, 2021

Conversation

srid
Copy link
Member

@srid srid commented Dec 24, 2021

Will formally use in benchmarks next (#26)

@srid srid merged commit 3ff3cb8 into main Dec 24, 2021
@srid srid deleted the srid/script-size branch December 24, 2021 16:41
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant