Skip to content

Actions: geometryxyz/protostar

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

- Implement EvaluatedFrom2
Beta lints #35: Commit 059d8bf pushed by adr1anh
August 17, 2023 11:23 9s lookup
August 17, 2023 11:23 9s
- Implement EvaluatedFrom2
CI checks #40: Commit 059d8bf pushed by adr1anh
August 17, 2023 11:23 9s 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
August 16, 2023 14:32 1m 40s
Compute lookup errors
CI checks #39: Commit 1e76d01 pushed by adr1anh
August 16, 2023 14:32 17m 3s lookup
August 16, 2023 14:32 17m 3s
Move evaluation from error_check to different mod
Beta lints #33: Commit 8906846 pushed by adr1anh
August 16, 2023 10:04 2m 0s protostar
August 16, 2023 10:04 2m 0s
Move evaluation from error_check to different mod
CI checks #38: Commit 8906846 pushed by adr1anh
August 16, 2023 10:04 19m 7s protostar
August 16, 2023 10:04 19m 7s
rework lookup
Beta lints #32: Commit 970ee1a pushed by adr1anh
August 16, 2023 07:38 1m 38s protostar
August 16, 2023 07:38 1m 38s
rework lookup
CI checks #37: Commit 970ee1a pushed by adr1anh
August 16, 2023 07:38 16m 30s protostar
August 16, 2023 07:38 16m 30s
draft: Lints
Stable lints #5: Pull request #3 synchronize by thor314
August 16, 2023 03:11 1m 17s protostar_tmp_thor
August 16, 2023 03:11 1m 17s
draft: Lints
CI checks #36: Pull request #3 synchronize by thor314
August 16, 2023 03:11 15m 14s protostar_tmp_thor
August 16, 2023 03:11 15m 14s
helper type for fold WIP
CI checks #35: Commit 036e543 pushed by thor314
August 16, 2023 03:11 16m 41s protostar_tmp_thor
August 16, 2023 03:11 16m 41s
helper type for fold WIP
Beta lints #31: Commit 036e543 pushed by thor314
August 16, 2023 03:11 1m 40s protostar_tmp_thor
August 16, 2023 03:11 1m 40s
draft: Lints
CI checks #34: Pull request #3 opened by thor314
August 15, 2023 20:26 17m 2s protostar_tmp_thor
August 15, 2023 20:26 17m 2s
draft: Lints
Stable lints #4: Pull request #3 opened by thor314
August 15, 2023 20:26 1m 24s protostar_tmp_thor
August 15, 2023 20:26 1m 24s
clean: edits in keygen
CI checks #33: Commit 08aa31e pushed by thor314
August 15, 2023 20:26 16m 57s protostar_tmp_thor
August 15, 2023 20:26 16m 57s
clean: edits in keygen
Beta lints #30: Commit 08aa31e pushed by thor314
August 15, 2023 20:26 2m 2s protostar_tmp_thor
August 15, 2023 20:26 2m 2s
rework lookup
CI checks #32: Commit 970ee1a pushed by adr1anh
August 15, 2023 13:38 16m 32s protostar_tmp
August 15, 2023 13:38 16m 32s
rework lookup
Beta lints #29: Commit 970ee1a pushed by adr1anh
August 15, 2023 13:38 1m 57s protostar_tmp
August 15, 2023 13:38 1m 57s
Clean up folding, gate, and row
Beta lints #28: Commit a66f75d pushed by adr1anh
August 15, 2023 10:29 2m 1s protostar_tmp
August 15, 2023 10:29 2m 1s
Clean up folding, gate, and row
CI checks #31: Commit a66f75d pushed by adr1anh
August 15, 2023 10:29 16m 10s protostar_tmp
August 15, 2023 10:29 16m 10s
- Remove Gate and refactor GateEvaluation
CI checks #30: Commit 3600369 pushed by adr1anh
August 9, 2023 18:21 17m 50s protostar_tmp
August 9, 2023 18:21 17m 50s
- Remove Gate and refactor GateEvaluation
Beta lints #27: Commit 3600369 pushed by adr1anh
August 9, 2023 18:21 2m 17s protostar_tmp
August 9, 2023 18:21 2m 17s
- Finish implementing decider
Beta lints #26: Commit e0130a4 pushed by adr1anh
August 9, 2023 13:10 1m 38s protostar_tmp
August 9, 2023 13:10 1m 38s
- Finish implementing decider
CI checks #29: Commit e0130a4 pushed by adr1anh
August 9, 2023 13:10 21m 31s protostar_tmp
August 9, 2023 13:10 21m 31s
- Move protostar::gate to error_check::gate
Beta lints #25: Commit ae78e0c pushed by adr1anh
August 9, 2023 12:35 1m 48s protostar_tmp
August 9, 2023 12:35 1m 48s