Skip to content

Actions: harp-lab/srdatalog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow runs
354 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Add VulReasoner interval parity workflow Lint #177: Pull request #87 synchronize by StarGazerM
13s pyreason-parity
pyreason-parity
13s
Add VulReasoner interval parity workflow Docs #174: Pull request #87 synchronize by StarGazerM
57s pyreason-parity
pyreason-parity
57s
Add VulReasoner interval parity workflow Docs #173: Pull request #87 synchronize by StarGazerM
1m 11s pyreason-parity
pyreason-parity
1m 11s
Add VulReasoner interval parity workflow Lint #176: Pull request #87 synchronize by StarGazerM
16s pyreason-parity
pyreason-parity
16s
Add VulReasoner interval parity workflow Docs #172: Pull request #87 opened by StarGazerM
1m 16s pyreason-parity
pyreason-parity
1m 16s
Add VulReasoner interval parity workflow Lint #175: Pull request #87 opened by StarGazerM
12s pyreason-parity
pyreason-parity
12s
Fix LSQB Q7 count-only codegen Lint #174: Commit 75928cb pushed by StarGazerM
10s main
main
10s
Fix LSQB Q7 count-only codegen Docs #171: Commit 75928cb pushed by StarGazerM
1m 24s main
main
1m 24s
PR-P0: pragma plugin framework primitives (Phase P foundation) Lint #173: Pull request #85 opened by StarGazerM
11s feat/pr-p0-pragma-plugin-framework
feat/pr-p0-pragma-plugin-framework
11s
PR-P0: pragma plugin framework primitives (Phase P foundation) Docs #170: Pull request #85 opened by StarGazerM
1m 39s feat/pr-p0-pragma-plugin-framework
feat/pr-p0-pragma-plugin-framework
1m 39s
Spec amendment 3 — full carrier dissolution + pragma plugin contract (Phase P, load-bearing) Lint #172: Pull request #84 opened by StarGazerM
15s feat/spec-amendment-3-full-context-dissolution
feat/spec-amendment-3-full-context-dissolution
15s
Spec amendment 3 — full carrier dissolution + pragma plugin contract (Phase P, load-bearing) Docs #169: Pull request #84 opened by StarGazerM
1m 39s feat/spec-amendment-3-full-context-dissolution
feat/spec-amendment-3-full-context-dissolution
1m 39s
Spec amendment 2 — no-context principle (post PR-1d revert) Lint #171: Pull request #83 synchronize by StarGazerM
11s feat/spec-amendment-2-no-context-principle
feat/spec-amendment-2-no-context-principle
11s
Spec amendment 2 — no-context principle (post PR-1d revert) Docs #168: Pull request #83 synchronize by StarGazerM
1m 38s feat/spec-amendment-2-no-context-principle
feat/spec-amendment-2-no-context-principle
1m 38s
Spec amendment 2 — no-context principle (post PR-1d revert) Lint #170: Pull request #83 opened by StarGazerM
11s feat/spec-amendment-2-no-context-principle
feat/spec-amendment-2-no-context-principle
11s
Spec amendment 2 — no-context principle (post PR-1d revert) Docs #167: Pull request #83 opened by StarGazerM
1m 35s feat/spec-amendment-2-no-context-principle
feat/spec-amendment-2-no-context-principle
1m 35s
Revert PR-1d: CudaRenderCtx was the same anti-pattern reskinned Docs #166: Pull request #82 opened by StarGazerM
1m 32s revert/pr-1d-cuda-render-ctx
revert/pr-1d-cuda-render-ctx
1m 32s
Revert PR-1d: CudaRenderCtx was the same anti-pattern reskinned Lint #169: Pull request #82 opened by StarGazerM
17s revert/pr-1d-cuda-render-ctx
revert/pr-1d-cuda-render-ctx
17s
PR-1d: extract CudaRenderCtx from LoweringCtx (Phase T-1) Lint #168: Pull request #81 opened by StarGazerM
10s feat/pr-1d-cuda-render-ctx-extraction
feat/pr-1d-cuda-render-ctx-extraction
10s
PR-1d: extract CudaRenderCtx from LoweringCtx (Phase T-1) Docs #165: Pull request #81 opened by StarGazerM
1m 41s feat/pr-1d-cuda-render-ctx-extraction
feat/pr-1d-cuda-render-ctx-extraction
1m 41s
PR-1c: Compiler.run(target=) kwarg threading — InitialProg.target + KernelCtx.target Docs #164: Pull request #80 opened by StarGazerM
1m 40s feat/pr-1c-compiler-target-kwarg
feat/pr-1c-compiler-target-kwarg
1m 40s
PR-1c: Compiler.run(target=) kwarg threading — InitialProg.target + KernelCtx.target Lint #167: Pull request #80 opened by StarGazerM
15s feat/pr-1c-compiler-target-kwarg
feat/pr-1c-compiler-target-kwarg
15s
PR-1a: plugin entry-point group split — srdatalog.plugins → srdatalog.dialects + srdatalog.targets Lint #166: Pull request #78 synchronize by StarGazerM
12s feat/pr-1a-plugin-group-split
feat/pr-1a-plugin-group-split
12s
PR-1a: plugin entry-point group split — srdatalog.plugins → srdatalog.dialects + srdatalog.targets Docs #163: Pull request #78 synchronize by StarGazerM
3m 16s feat/pr-1a-plugin-group-split
feat/pr-1a-plugin-group-split
3m 16s
PR-1b: shim renames — CudaRenderShim → RenderShim, LowerScanPipelineShim → LowerKernelBodyShim Lint #165: Pull request #77 synchronize by StarGazerM
11s feat/pr-1b-shim-renames
feat/pr-1b-shim-renames
11s