Skip to content

Pull requests: ProvableHQ/workshop

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

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