Skip to content

Actions: block/pg-sprite

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
313 workflow runs
313 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
copy-and-swap contracts: package skeletons, proof-type declarations, load generator and convergence oracle CI #313: Pull request #87 synchronize by Kiran01bm
2m 41s kiran01bm/cs0-contracts-harness
kiran01bm/cs0-contracts-harness
2m 41s
schemadiff: plan a rebuild for an index left invalid by an unfinished… CI #312: Commit fd4bcb1 pushed by Kiran01bm
2m 34s main
main
2m 34s
schemadiff: plan a rebuild for an index left invalid by an unfinished build CI #311: Pull request #86 synchronize by Kiran01bm
4m 23s kiran01bm/eg8a-plan-invalid-index-rebuild
kiran01bm/eg8a-plan-invalid-index-rebuild
4m 23s
docs: record copy-and-swap v1 design decisions CI #310: Pull request #88 opened by Kiran01bm
12s kiran01bm/cs1-design-decisions
kiran01bm/cs1-design-decisions
12s
copy-and-swap contracts: package skeletons, proof-type declarations, load generator and convergence oracle CI #309: Pull request #87 opened by Kiran01bm
2m 36s kiran01bm/cs0-contracts-harness
kiran01bm/cs0-contracts-harness
2m 36s
schemadiff: plan a rebuild for an index left invalid by an unfinished build CI #308: Pull request #86 synchronize by Kiran01bm
2m 32s kiran01bm/eg8a-plan-invalid-index-rebuild
kiran01bm/eg8a-plan-invalid-index-rebuild
2m 32s
feat(plan): carry the create-shape cause on refused statements (#84) CI #307: Commit 28d8808 pushed by Kiran01bm
2m 44s main
main
2m 44s
feat(plan): carry the create-shape cause on refused statements CI #306: Pull request #84 synchronize by Kiran01bm
2m 28s kiran01bm/ct14b-plan-statement-cause
kiran01bm/ct14b-plan-statement-cause
2m 28s
feat(plan): carry the create-shape cause on refused statements CI #305: Pull request #84 synchronize by Kiran01bm
2m 26s kiran01bm/ct14b-plan-statement-cause
kiran01bm/ct14b-plan-statement-cause
2m 26s
feat(plan): carry the create-shape cause on refused statements CI #304: Pull request #84 synchronize by Kiran01bm
2m 25s kiran01bm/ct14b-plan-statement-cause
kiran01bm/ct14b-plan-statement-cause
2m 25s
schemadiff: plan a rebuild for an index left invalid by an unfinished build CI #303: Pull request #86 synchronize by Kiran01bm
2m 55s kiran01bm/eg8a-plan-invalid-index-rebuild
kiran01bm/eg8a-plan-invalid-index-rebuild
2m 55s
schemadiff: plan a rebuild for an index left invalid by an unfinished build CI #302: Pull request #86 synchronize by Kiran01bm
57s kiran01bm/eg8a-plan-invalid-index-rebuild
kiran01bm/eg8a-plan-invalid-index-rebuild
57s
executor: verify owned relation names after the create path's CREATE … CI #301: Commit f2a67bc pushed by Kiran01bm
2m 27s main
main
2m 27s
executor: verify owned relation names after the create path's CREATE TABLE commits CI #300: Pull request #85 synchronize by Kiran01bm
2m 32s kiran01bm/ct15b-verify-owned-relation-names
kiran01bm/ct15b-verify-owned-relation-names
2m 32s
schemadiff: plan a rebuild for an index left invalid by an unfinished build CI #299: Pull request #86 opened by Kiran01bm
2m 34s kiran01bm/eg8a-plan-invalid-index-rebuild
kiran01bm/eg8a-plan-invalid-index-rebuild
2m 34s
executor: verify owned relation names after the create path's CREATE TABLE commits CI #298: Pull request #85 opened by Kiran01bm
2m 29s kiran01bm/ct15b-verify-owned-relation-names
kiran01bm/ct15b-verify-owned-relation-names
2m 29s
feat(plan): carry the create-shape cause on refused statements CI #297: Pull request #84 opened by Kiran01bm
2m 33s kiran01bm/ct14b-plan-statement-cause
kiran01bm/ct14b-plan-statement-cause
2m 33s
preflight: LookupOwnedRelationNames reads a table's owned index and s… CI #296: Commit 7004102 pushed by Kiran01bm
2m 33s main
main
2m 33s
preflight: LookupOwnedRelationNames reads a table's owned index and sequence names CI #295: Pull request #83 synchronize by Kiran01bm
2m 59s kiran01bm/preflight-owned-relation-names
kiran01bm/preflight-owned-relation-names
2m 59s
executor: closed CreateShapeCause vocabulary for create-path refusals… CI #294: Commit 5ae95c2 pushed by Kiran01bm
2m 35s main
main
2m 35s
preflight: LookupOwnedRelationNames reads a table's owned index and sequence names CI #293: Pull request #83 synchronize by Kiran01bm
2m 32s kiran01bm/preflight-owned-relation-names
kiran01bm/preflight-owned-relation-names
2m 32s
executor: closed CreateShapeCause vocabulary for create-path refusals CI #292: Pull request #82 synchronize by Kiran01bm
2m 30s kiran01bm/create-shape-cause-vocabulary
kiran01bm/create-shape-cause-vocabulary
2m 30s
executor: closed CreateShapeCause vocabulary for create-path refusals CI #291: Pull request #82 synchronize by Kiran01bm
2m 30s kiran01bm/create-shape-cause-vocabulary
kiran01bm/create-shape-cause-vocabulary
2m 30s
preflight: LookupOwnedRelationNames reads a table's owned index and sequence names CI #290: Pull request #83 synchronize by Kiran01bm
2m 24s kiran01bm/preflight-owned-relation-names
kiran01bm/preflight-owned-relation-names
2m 24s
feat(executor): prove and recover abandoned invalid indexes (#79) CI #289: Commit 68d1b5d pushed by Kiran01bm
2m 30s main
main
2m 30s