Skip to content

Pull requests: ProvableHQ/workshop

New pull request New
Clear current search query, filters, and sorts
0 Open 17 Closed
0 Open 17 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Workshop Script Update
#43 by frank-aleo was merged Oct 18, 2023 Loading…
7
run.sh for token
#10 by d0cd was merged Sep 26, 2022 Loading…
Use async keyword before finalize statement.
#8 by d0cd was merged Sep 21, 2022 Loading…
Updates workshop examples to Leo v1.6.1
#19 by d0cd was merged Dec 1, 2022 Loading…
Updates to most recent version of Leo.
#20 by d0cd was merged Dec 13, 2022 Loading…
Update workshop examples to ARC 3 syntax
#14 by collinc97 was merged Oct 6, 2022 Loading…
Updates install script.
#15 by d0cd was merged Oct 13, 2022 Loading…
Some fixes and improvements to comments.
#18 by acoglio was merged Nov 30, 2022 Loading…
Update install script to use packaged lockfiles.
#21 by d0cd was merged Dec 13, 2022 Loading…
fix: use Mapping rather than increment or decrement
#26 by LouisWT was merged Apr 28, 2023 Loading…
2
fix tictactoe make_move updated board issue
#32 by snowtigersoft was merged May 30, 2023 Loading…
1
Removes gates from examples.
#31 by d0cd was merged May 30, 2023 Loading…
1
Fix typos
#44 by KyryloKilin was merged Nov 30, 2023 Loading…
Update the workshop examples for mainnet.
#67 by d0cd was merged Aug 1, 2024 Loading…
Update examples to latest testnet3 commit.
#65 by d0cd was merged Mar 19, 2024 Loading…
adding change from get_or_init to get_or_use
#36 by ghost was merged Jun 16, 2023 Loading…
[Workshop] Debuggin' out.
#70 by d0cd was merged Dec 17, 2024 Loading…
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.