Skip to content

Actions: geometryxyz/protostar

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-beta.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix fmt Beta lints #57: Commit 49e36fa pushed by adr1anh
October 10, 2023 11:33 1m 40s protostar
protostar
October 10, 2023 11:33 1m 40s
Update README Beta lints #56: Commit 939777f pushed by adr1anh
October 9, 2023 10:32 1m 35s protostar
protostar
October 9, 2023 10:32 1m 35s
- Readme report Beta lints #55: Commit bcc099b pushed by adr1anh
October 6, 2023 16:24 1m 40s protostar
protostar
October 6, 2023 16:24 1m 40s
cleanup VerifierAccumulator Beta lints #54: Commit 3b432c0 pushed by gnosed
September 28, 2023 13:58 2m 6s protostar
protostar
September 28, 2023 13:58 2m 6s
- fix lints Beta lints #53: Commit 85d82fe pushed by adr1anh
September 28, 2023 12:53 2m 5s protostar
protostar
September 28, 2023 12:53 2m 5s
- fix lints Beta lints #52: Commit 85d82fe pushed by gnosed
September 28, 2023 12:46 2m 25s gnosed/protostar-verifier
gnosed/protostar-verifier
September 28, 2023 12:46 2m 25s
comments Beta lints #51: Commit 29eeab6 pushed by adr1anh
September 28, 2023 10:50 2m 14s refactor
refactor
September 28, 2023 10:50 2m 14s
add: RangeCheckCircuit with lookup Beta lints #50: Commit 7b166c6 pushed by gnosed
September 26, 2023 15:58 1m 34s gnosed/protostar-verifier
gnosed/protostar-verifier
September 26, 2023 15:58 1m 34s
-Full decider checks Beta lints #49: Commit 7aa68a0 pushed by adr1anh
September 26, 2023 13:54 1m 53s refactor
refactor
September 26, 2023 13:54 1m 53s
refactor Beta lints #48: Commit 4abf832 pushed by adr1anh
September 25, 2023 15:33 1m 57s refactor
refactor
September 25, 2023 15:33 1m 57s
refactor Beta lints #47: Commit 84dfdf6 pushed by adr1anh
September 25, 2023 15:33 1m 39s refactor
refactor
September 25, 2023 15:33 1m 39s
refactor Beta lints #46: Commit 588953d pushed by adr1anh
September 25, 2023 15:31 2m 8s refactor
refactor
September 25, 2023 15:31 2m 8s
cleanup prints Beta lints #45: Commit 0eb08f8 pushed by gnosed
September 20, 2023 21:51 2m 1s gnosed/protostar-verifier
gnosed/protostar-verifier
September 20, 2023 21:51 2m 1s
fold challenges and commitments in Verifier Beta lints #44: Commit 1f654a6 pushed by gnosed
September 13, 2023 16:58 1m 44s gnosed/protostar-verifier
gnosed/protostar-verifier
September 13, 2023 16:58 1m 44s
add compilation Beta lints #43: Commit 7285f92 pushed by adr1anh
September 11, 2023 14:09 1m 40s lookup
lookup
September 11, 2023 14:09 1m 40s
initial decide Beta lints #42: Commit cfc8dee pushed by adr1anh
September 11, 2023 13:59 1m 43s lookup
lookup
September 11, 2023 13:59 1m 43s
- Remove challenge flattening Beta lints #41: Commit f5cbe02 pushed by adr1anh
September 6, 2023 18:11 1m 46s lookup
lookup
September 6, 2023 18:11 1m 46s
chore(deps): bump actions/checkout from 3 to 4 Beta lints #40: Commit d945392 pushed by dependabot bot
September 4, 2023 15:35 1m 52s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 15:35 1m 52s
tmp Beta lints #39: Commit 56834b6 pushed by adr1anh
August 23, 2023 19:47 1m 45s lookup2
lookup2
August 23, 2023 19:47 1m 45s
lints Beta lints #38: Commit bc87538 pushed by thor314
August 23, 2023 19:01 2m 37s lookup
lookup
August 23, 2023 19:01 2m 37s
fmt, minor notes Beta lints #37: Commit 4ad976f pushed by thor314
August 18, 2023 00:11 7s protostar_tmp_thor
protostar_tmp_thor
August 18, 2023 00:11 7s
minor refactor, lint Beta lints #36: Commit b1c723b pushed by thor314
August 17, 2023 23:47 7s protostar_tmp_thor
protostar_tmp_thor
August 17, 2023 23:47 7s
- Implement EvaluatedFrom2 Beta lints #35: Commit 059d8bf pushed by adr1anh
August 17, 2023 11:23 9s lookup
lookup
August 17, 2023 11:23 9s
Compute lookup errors Beta lints #34: Commit 1e76d01 pushed by adr1anh
August 16, 2023 14:32 1m 40s lookup
lookup
August 16, 2023 14:32 1m 40s
Move evaluation from error_check to different mod Beta lints #33: Commit 8906846 pushed by adr1anh
August 16, 2023 10:04 2m 0s protostar
protostar
August 16, 2023 10:04 2m 0s