Skip to content

Actions: NethermindEth/Clear

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Draft] Add ERC-20 Example
Build #23: Pull request #22 synchronize by Coda-Coda
December 5, 2024 04:16 11m 48s erc20
December 5, 2024 04:16 11m 48s
[Draft] Add ERC-20 Example
Build #22: Pull request #22 synchronize by Coda-Coda
December 4, 2024 04:28 12m 6s erc20
December 4, 2024 04:28 12m 6s
[Draft] Add ERC-20 Example
Build #21: Pull request #22 synchronize by Coda-Coda
December 3, 2024 06:19 11m 43s erc20
December 3, 2024 06:19 11m 43s
[Draft] Add ERC-20 Example
Build #20: Pull request #22 synchronize by Coda-Coda
December 3, 2024 04:38 13m 21s erc20
December 3, 2024 04:38 13m 21s
[Draft] Add ERC-20 Example
Build #19: Pull request #22 synchronize by Coda-Coda
December 3, 2024 02:32 11m 35s erc20
December 3, 2024 02:32 11m 35s
[Draft] Add ERC-20 Example
Build #18: Pull request #22 synchronize by Coda-Coda
December 2, 2024 06:43 11m 43s erc20
December 2, 2024 06:43 11m 43s
[Draft] Add ERC-20 Example
Build #17: Pull request #22 synchronize by Coda-Coda
November 29, 2024 07:56 12m 15s erc20
November 29, 2024 07:56 12m 15s
[Draft] Add ERC-20 Example
Build #16: Pull request #22 synchronize by Coda-Coda
November 28, 2024 07:18 11m 53s erc20
November 28, 2024 07:18 11m 53s
[Draft] Add ERC-20 Example
Build #15: Pull request #22 synchronize by Coda-Coda
November 28, 2024 05:05 11m 48s erc20
November 28, 2024 05:05 11m 48s
[Draft] Add ERC-20 Example
Build #14: Pull request #22 opened by Coda-Coda
November 21, 2024 23:52 12m 6s erc20
November 21, 2024 23:52 12m 6s
Merge pull request #21 from NethermindEth/fix-deep-recursion-error
Build #13: Commit cdd554c pushed by Coda-Coda
November 21, 2024 23:20 6m 57s main
November 21, 2024 23:20 6m 57s
(Replaced by #22) [Draft] Add ERC-20 Example
Build #11: Pull request #20 opened by Coda-Coda
November 20, 2024 03:07 6m 54s erc20
November 20, 2024 03:07 6m 54s
clr_match tactic
Build #10: Pull request #19 opened by jkopanski
October 29, 2024 09:10 6m 50s clr_match
October 29, 2024 09:10 6m 50s
Fix some arithmetic primops
Build #8: Pull request #13 synchronize by Coda-Coda
October 23, 2024 01:49 6m 56s andreiburdusa/arithmetic-primops
October 23, 2024 01:49 6m 56s
October 22, 2024 21:12 7m 14s
Merge pull request #11 from NethermindEth/build-with-GitHub-Actions
Build #4: Commit a20c24e pushed by Coda-Coda
October 16, 2024 02:03 7m 40s main
October 16, 2024 02:03 7m 40s
Use GitHub Actions to check that building succeeds
Build #3: Pull request #11 synchronize by Coda-Coda
October 11, 2024 00:55 6m 20s build-with-GitHub-Actions
October 11, 2024 00:55 6m 20s
Use GitHub Actions to check that building succeeds
Build #2: Pull request #11 synchronize by Coda-Coda
October 7, 2024 03:34 8m 41s build-with-GitHub-Actions
October 7, 2024 03:34 8m 41s