Skip to content

Actions: geometryxyz/protostar

Actions

CI checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

first working prototype CI checks #15: Commit 0446cdd pushed by adr1anh
July 5, 2023 14:50 15m 20s protostar_tmp
protostar_tmp
July 5, 2023 14:50 15m 20s
fix build error CI checks #14: Commit f3a66dd pushed by adr1anh
July 4, 2023 16:12 16m 42s protostar_tmp
protostar_tmp
July 4, 2023 16:12 16m 42s
first pass at error check evaluation CI checks #13: Commit f16aa39 pushed by adr1anh
July 4, 2023 14:16 15m 44s protostar_tmp
protostar_tmp
July 4, 2023 14:16 15m 44s
Basic prover CI checks #12: Commit beaee8a pushed by adr1anh
June 28, 2023 08:02 2m 17s protostar_tmp
protostar_tmp
June 28, 2023 08:02 2m 17s
- add Polynomial constructors without domain CI checks #11: Commit ca52cab pushed by adr1anh
June 23, 2023 12:34 18m 46s protostar_tmp
protostar_tmp
June 23, 2023 12:34 18m 46s
Witness CI checks #10: Commit 9f68923 pushed by adr1anh
June 19, 2023 17:37 2m 22s protostar
protostar
June 19, 2023 17:37 2m 22s
Homogeneous expressions CI checks #9: Commit 3a98cae pushed by adr1anh
June 19, 2023 15:23 2m 16s protostar
protostar
June 19, 2023 15:23 2m 16s
upgrade toolchain CI checks #8: Commit 36924e8 pushed by adr1anh
June 19, 2023 14:21 19m 4s protostar
protostar
June 19, 2023 14:21 19m 4s
upgrade toolchain CI checks #7: Commit a90d7fe pushed by adr1anh
June 19, 2023 14:19 20m 36s protostar
protostar
June 19, 2023 14:19 20m 36s
upgrade toolchain CI checks #6: Commit 7add52f pushed by adr1anh
June 19, 2023 13:57 19m 35s protostar
protostar
June 19, 2023 13:57 19m 35s
Fix parallelize workload imbalance (#186) CI checks #5: Commit 818febb pushed by adr1anh
June 19, 2023 13:48 22m 28s protostar
protostar
June 19, 2023 13:48 22m 28s
feat: send sync region (#180) CI checks #4: Commit a764a7f pushed by adr1anh
June 19, 2023 13:44 21m 54s main
main
June 19, 2023 13:44 21m 54s
chore(deps): bump codecov/codecov-action from 3.1.0 to 3.1.4 CI checks #3: Pull request #1 opened by dependabot bot
June 15, 2023 21:40 2m 15s dependabot/github_actions/codecov/codecov-action-3.1.4
dependabot/github_actions/codecov/codecov-action-3.1.4
June 15, 2023 21:40 2m 15s
chore(deps): bump codecov/codecov-action from 3.1.0 to 3.1.4 CI checks #2: Commit edeea16 pushed by dependabot bot
June 15, 2023 21:40 2m 7s dependabot/github_actions/codecov/codecov-action-3.1.4
dependabot/github_actions/codecov/codecov-action-3.1.4
June 15, 2023 21:40 2m 7s
tmp CI checks #1: Commit b1372de pushed by adr1anh
June 15, 2023 21:40 3m 1s protostar
protostar
June 15, 2023 21:40 3m 1s