Workflow runs · felicityin/brainfuck-stark · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

13 workflow runs

13 workflow runs

doc: update readme Cargo Build & Test #13: Commit bfb90af pushed by felicityin

2m 46s main

main

2m 46s

fix: program termination is enforced in AIR (#5) Cargo Build & Test #12: Commit 23390d7 pushed by felicityin

2m 47s main

main

2m 47s

fix: program termination is enforced in AIR Cargo Build & Test #11: Pull request #5 opened by felicityin

2m 52s fix-last-pc

fix-last-pc

2m 52s

fix: add more constraints to pc Cargo Build & Test #10: Commit a06e460 pushed by felicityin

2m 50s main

main

2m 50s

fix: add more constraints to the cpu chip Cargo Build & Test #9: Commit 9802829 pushed by felicityin

2m 55s main

main

2m 55s

fix: add more constraints to the cpu chip Cargo Build & Test #8: Commit b6132a0 pushed by felicityin

2m 49s main

main

2m 49s

fix: add more constraints to the cpu chip Cargo Build & Test #7: Commit 5517f1b pushed by felicityin

7m 58s main

main

7m 58s

fix: add more constraints to the cpu chip Cargo Build & Test #6: Commit d66d18b pushed by felicityin

2m 57s main

main

2m 57s

ci: fix ci (#3) Cargo Build & Test #5: Commit 70fa8b5 pushed by felicityin

2m 53s main

main

2m 53s

ci: fix ci Cargo Build & Test #4: Pull request #3 synchronize by felicityin

2m 50s ci

ci

2m 50s

ci: fix ci Cargo Build & Test #3: Pull request #3 synchronize by felicityin

59s ci

ci

59s

ci: fix ci Cargo Build & Test #2: Pull request #3 synchronize by felicityin

2m 47s ci

ci

2m 47s

ci: fix ci Cargo Build & Test #1: Pull request #3 opened by felicityin

2m 49s ci

ci

2m 49s