Skip to content

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

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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