Skip to content

Actions: lurk-lab/lurk-beta

Actions

CI tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
691 workflow run results
691 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI tests CI tests #1257: Merge group checks requested
November 2, 2023 21:36 18m 50s
November 2, 2023 21:36 18m 50s
use non-deprecated getters for WitnessCS CI tests #1256: Pull request #840 synchronize by jobez
November 2, 2023 21:01 19m 30s jobez:fix/use_assignment_getter_WitnessCS
jobez:fix/use_assignment_getter_WitnessCS
November 2, 2023 21:01 19m 30s
use non-deprecated getters for WitnessCS CI tests #1255: Pull request #840 opened by jobez
November 2, 2023 20:06 22m 24s jobez:fix/use_assignment_getter_WitnessCS
jobez:fix/use_assignment_getter_WitnessCS
November 2, 2023 20:06 22m 24s
CI tests CI tests #1254: Merge group checks requested
November 2, 2023 15:48 24m 5s
November 2, 2023 15:48 24m 5s
Use the new Bellpepper add gadget CI tests #1253: Pull request #839 ready_for_review by jobez
November 1, 2023 22:13 35m 4s jobez:refactor/use_bellpepper_add_gadget
jobez:refactor/use_bellpepper_add_gadget
November 1, 2023 22:13 35m 4s
Use the new Bellpepper add gadget CI tests #1252: Pull request #839 synchronize by jobez
November 1, 2023 22:12 5s jobez:refactor/use_bellpepper_add_gadget
jobez:refactor/use_bellpepper_add_gadget
November 1, 2023 22:12 5s
CI tests CI tests #1251: Merge group checks requested
November 1, 2023 20:22 20m 15s
November 1, 2023 20:22 20m 15s
Use the new Bellpepper add gadget CI tests #1250: Pull request #839 opened by jobez
November 1, 2023 20:10 20m 25s jobez:refactor/use_bellpepper_add_gadget
jobez:refactor/use_bellpepper_add_gadget
November 1, 2023 20:10 20m 25s
Remove 'lem' suffixes and prefixes on types, imports, function calls etc CI tests #1249: Pull request #838 opened by arthurpaulino
November 1, 2023 19:56 24m 56s ap/lem-suffix-removal
ap/lem-suffix-removal
November 1, 2023 19:56 24m 56s
CI tests CI tests #1248: Merge group checks requested
November 1, 2023 19:34 18m 7s
November 1, 2023 19:34 18m 7s
fix: Port serde_public_params_roundtrip to LEM CI tests #1247: Pull request #836 opened by winston-h-zhang
November 1, 2023 19:01 29m 25s 830-serde-pp
830-serde-pp
November 1, 2023 19:01 29m 25s
CI tests CI tests #1246: Merge group checks requested
November 1, 2023 19:00 14m 32s
November 1, 2023 19:00 14m 32s
CI tests CI tests #1245: Merge group checks requested
November 1, 2023 18:53 24m 27s
November 1, 2023 18:53 24m 27s
CI tests CI tests #1244: Merge group checks requested
November 1, 2023 18:45 20m 19s
November 1, 2023 18:45 20m 19s
Refactor unreachable public methods CI tests #1243: Pull request #835 opened by huitseeker
November 1, 2023 18:22 30m 55s huitseeker:reachability
huitseeker:reachability
November 1, 2023 18:22 30m 55s
Add tests for self-evaluating expressions CI tests #1242: Pull request #831 synchronize by arthurpaulino
November 1, 2023 18:12 19m 4s ap/more-lem-tests
ap/more-lem-tests
November 1, 2023 18:12 19m 4s
Add tests for self-evaluating expressions CI tests #1241: Pull request #831 synchronize by arthurpaulino
November 1, 2023 18:09 2m 49s ap/more-lem-tests
ap/more-lem-tests
November 1, 2023 18:09 2m 49s
CI tests CI tests #1240: Merge group checks requested
November 1, 2023 17:34 22m 49s
November 1, 2023 17:34 22m 49s
Add tests for self-evaluating expressions CI tests #1239: Pull request #831 synchronize by arthurpaulino
November 1, 2023 17:11 26m 16s ap/more-lem-tests
ap/more-lem-tests
November 1, 2023 17:11 26m 16s
More LEM API improvements CI tests #1238: Pull request #825 synchronize by arthurpaulino
November 1, 2023 17:00 33m 9s ap/extend-store-api-and-tests
ap/extend-store-api-and-tests
November 1, 2023 17:00 33m 9s
CI tests CI tests #1237: Merge group checks requested
November 1, 2023 16:48 22m 58s
November 1, 2023 16:48 22m 58s
Add tests for self-evaluating expressions CI tests #1236: Pull request #831 opened by arthurpaulino
November 1, 2023 16:44 27m 4s ap/more-lem-tests
ap/more-lem-tests
November 1, 2023 16:44 27m 4s
ci: Parameterize BenchmarkId on output type in PR bench comments CI tests #1235: Pull request #829 synchronize by samuelburnham
November 1, 2023 16:38 27m 58s samuelburnham:ci-bench-comment-context
samuelburnham:ci-bench-comment-context
November 1, 2023 16:38 27m 58s
ci: Parameterize BenchmarkId on output type in PR bench comments CI tests #1234: Pull request #829 opened by samuelburnham
November 1, 2023 16:28 9m 40s samuelburnham:ci-bench-comment-context
samuelburnham:ci-bench-comment-context
November 1, 2023 16:28 9m 40s
chore: remove dead code from multiple modules (easy) CI tests #1233: Pull request #828 synchronize by huitseeker
November 1, 2023 16:23 24m 31s huitseeker:delete_dead_code
huitseeker:delete_dead_code
November 1, 2023 16:23 24m 31s