Skip to content

Actions: NethermindEth/Clear

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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