Skip to content

Actions: formal-land/100-specification-smart-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8 from formal-land/guillaume-claret@add-entrypoin… Build #23: Commit 91c914d pushed by clarus
May 30, 2025 16:53 1m 57s main
main
May 30, 2025 16:53 1m 57s
Add entrypoint mechanism for direct contract calls Build #22: Pull request #8 opened by clarus
May 30, 2025 15:09 1m 48s guillaume-claret@add-entrypoint-to-promises-system
guillaume-claret@add-entrypoint-to-promises-system
May 30, 2025 15:09 1m 48s
Merge pull request #7 from formal-land/guillaume-claret@add-intents Build #21: Commit 1782679 pushed by clarus
May 23, 2025 14:59 1m 41s main
main
May 23, 2025 14:59 1m 41s
Add Promises style Build #20: Pull request #7 synchronize by clarus
May 23, 2025 14:57 1m 46s guillaume-claret@add-intents
guillaume-claret@add-intents
May 23, 2025 14:57 1m 46s
Add Promises style Build #19: Pull request #7 opened by clarus
May 23, 2025 14:07 1m 54s guillaume-claret@add-intents
guillaume-claret@add-intents
May 23, 2025 14:07 1m 54s
Merge pull request #6 from formal-land/guillaume-claret@adding-a-swap… Build #18: Commit 71d1fa8 pushed by clarus
May 9, 2025 20:34 1m 44s main
main
May 9, 2025 20:34 1m 44s
Add Swap operation Build #17: Pull request #6 opened by clarus
May 9, 2025 14:01 1m 45s guillaume-claret@adding-a-swap-operation
guillaume-claret@adding-a-swap-operation
May 9, 2025 14:01 1m 45s
Merge pull request #5 from formal-land/todo_fix Build #16: Commit ce49ad9 pushed by clarus
May 9, 2025 13:08 1m 43s main
main
May 9, 2025 13:08 1m 43s
FIxed todo (group development session) Build #15: Pull request #5 opened by confestim
May 7, 2025 22:53 1m 39s todo_fix
todo_fix
May 7, 2025 22:53 1m 39s
Add the beginning of OpenSea formalization Build #14: Commit 1687bd6 pushed by clarus
April 18, 2025 14:09 1m 19s main
main
April 18, 2025 14:09 1m 19s
Merge pull request #4 from formal-land/guillaume-claret@split-files Build #13: Commit cc5c67a pushed by clarus
March 28, 2025 15:01 1m 17s main
main
March 28, 2025 15:01 1m 17s
Split the Erc20.v file Build #12: Pull request #4 synchronize by clarus
March 28, 2025 14:57 1m 22s guillaume-claret@split-files
guillaume-claret@split-files
March 28, 2025 14:57 1m 22s
Split the Erc20.v file Build #11: Pull request #4 opened by clarus
March 28, 2025 14:11 1m 22s guillaume-claret@split-files
guillaume-claret@split-files
March 28, 2025 14:11 1m 22s
Example: add monad file Build #10: Commit 583cf30 pushed by clarus
March 21, 2025 15:13 1m 22s main
main
March 21, 2025 15:13 1m 22s
Merge pull request #3 from formal-land/guillaume-claret@add-erc20-com… Build #9: Commit 5f41787 pushed by clarus
March 14, 2025 17:11 1m 21s main
main
March 14, 2025 17:11 1m 21s
Add more ERC-20 commands Build #8: Pull request #3 synchronize by clarus
March 14, 2025 17:10 1m 18s guillaume-claret@add-erc20-commands
guillaume-claret@add-erc20-commands
March 14, 2025 17:10 1m 18s
Add more ERC-20 commands Build #7: Pull request #3 opened by clarus
March 14, 2025 17:02 1m 23s guillaume-claret@add-erc20-commands
guillaume-claret@add-erc20-commands
March 14, 2025 17:02 1m 23s
Merge pull request #2 from formal-land/guillaume-claret@add-comments-… Build #6: Commit 5dfe4ba pushed by clarus
February 27, 2025 17:35 1m 19s main
main
February 27, 2025 17:35 1m 19s
Add comments to the ERC-20 smart contract Build #5: Pull request #2 synchronize by clarus
February 27, 2025 17:30 1m 26s guillaume-claret@add-comments-for-erc20
guillaume-claret@add-comments-for-erc20
February 27, 2025 17:30 1m 26s
Add comments to the ERC-20 smart contract Build #4: Pull request #2 synchronize by clarus
February 27, 2025 17:27 1m 19s guillaume-claret@add-comments-for-erc20
guillaume-claret@add-comments-for-erc20
February 27, 2025 17:27 1m 19s
Add comments to the ERC-20 smart contract Build #3: Pull request #2 opened by clarus
February 27, 2025 17:27 1m 20s guillaume-claret@add-comments-for-erc20
guillaume-claret@add-comments-for-erc20
February 27, 2025 17:27 1m 20s
Merge pull request #1 from formal-land/guillaume-claret@add-ci-file Build #2: Commit cb9275b pushed by clarus
February 27, 2025 14:58 1m 25s main
main
February 27, 2025 14:58 1m 25s
Add CI file Build #1: Pull request #1 opened by clarus
February 27, 2025 14:55 1m 22s guillaume-claret@add-ci-file
guillaume-claret@add-ci-file
February 27, 2025 14:55 1m 22s