Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dev Tools UI #1582

Draft
wants to merge 39 commits into
base: dev
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
219bd60
chore: new package (work-in-progress)
jaybuidl May 17, 2024
ccdf188
Merge branch 'dev' into feat/devtools
kemuru Jun 17, 2024
4a1ae9e
Merge branch 'dev' into feat/devtools
jaybuidl Jul 3, 2024
bf9972a
Merge branch 'dev' into feat/devtools
nikhilverma360 Jul 16, 2024
3e78cc5
chore(devtools): setup nextjs app
nikhilverma360 Jul 2, 2024
c3ad571
chore(devtools): setup layout, header, footer
nikhilverma360 Jul 2, 2024
7c6ac30
chore(devtools): added necessary svgs
nikhilverma360 Jul 2, 2024
1e40626
feat(devtools): ruler ui
nikhilverma360 Jul 3, 2024
a6db67f
fix(devtools): fixed typings
nikhilverma360 Jul 3, 2024
72f9895
fix(devtools): fix footer to render client side
nikhilverma360 Jul 3, 2024
4b962d3
fix(webtools): fixed linting issues, and themes
nikhilverma360 Jul 3, 2024
fc1fdcc
chore(devtools): removed unused variables
nikhilverma360 Jul 16, 2024
3e314cc
refactor(devtools): global declaration of theme types
nikhilverma360 Jul 18, 2024
d1b1841
refactor(devtools): dynamic theme types
nikhilverma360 Jul 18, 2024
ba544c2
Merge pull request #1641 from kleros/feat(devtools)/initial-setup-for…
alcercu Jul 18, 2024
a56ccf5
feat(devtools): setup graph-codegen cli
nikhilverma360 Jul 15, 2024
7d557b0
feat(devtools): setup wagmi cli & wagmi generate
nikhilverma360 Jul 15, 2024
38c0944
feat(devtools): ported dispute template editor
nikhilverma360 Jul 15, 2024
27f7439
chore(devtools): json-editor version change
nikhilverma360 Jul 16, 2024
c30af6d
chore(devtools): remove undeclared variable
nikhilverma360 Jul 17, 2024
1856dd5
refactor(devtools): dynamic import graphql-url from env
nikhilverma360 Jul 17, 2024
52e909a
fix(web-devtools): add kleros-sdk secondary resolution path on tsconfig
alcercu Jul 18, 2024
de4cf88
fix(devtools): temporarily ignore build errors
nikhilverma360 Jul 19, 2024
f3b8aed
chore: lockfile
jaybuidl Jul 25, 2024
1e913f2
feat: link to the devtools UI in the Help menu
jaybuidl Jul 25, 2024
aff71fc
Merge pull request #1656 from kleros/feat(devtool)/port-dispute-template
jaybuidl Jul 25, 2024
74bc188
feat(devtools): homepage UI
nikhilverma360 Jul 29, 2024
e73e10d
fix(devtools): fix typo
nikhilverma360 Jul 29, 2024
5dcab4b
Merge pull request #1661 from kleros/feat(devtools)/homepage-ui
jaybuidl Jul 29, 2024
88a507e
feat(devtools): mobile navbar integration & nav links
nikhilverma360 Jul 31, 2024
cab7f77
fix(devtools): fix dispute-template presets
nikhilverma360 Jul 31, 2024
f818bb0
Merge pull request #1664 from kleros/feat(devtools)/mobile-navbar-and…
jaybuidl Jul 31, 2024
dc25764
Merge branch 'dev' into feat/devtools
jaybuidl Aug 7, 2024
61c07b9
Merge branch 'dev' into feat/devtools
nikhilverma360 Aug 12, 2024
bd68a9b
refactor(web-devtools): revamp-ruler-ui
Harman-singh-waraich Sep 11, 2024
57716ac
refactor(web-devtools): update-component-name
Harman-singh-waraich Sep 11, 2024
f5f265e
Merge pull request #1685 from kleros/refactor/revamp-devtools-ruler-ui
alcercu Sep 16, 2024
a3aa4da
chore: ruler deployment
jaybuidl Sep 17, 2024
71e7d66
fix: ruler fix, tests updated, redeployed
jaybuidl Sep 18, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'dev' into feat/devtools
  • Loading branch information
jaybuidl authored Jul 3, 2024
commit 4a1ae9ecf76959ac2d9a562d186a7d42d6006753

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.