Workflow runs · PlamenTSV/plamen · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

57 workflow runs

57 workflow runs

RFC: CPG dataflow producer for the mechanical-deriver layer (docs + evidence) tests #4: Pull request #21 opened by PlamenCertora

2m 47s PlamenCertora:cpg-dataflow-producer-rfc

PlamenCertora:cpg-dataflow-producer-rfc

2m 47s

RFC: CPG dataflow producer for the mechanical-deriver layer (docs + evidence) install-smoke #58: Pull request #21 opened by PlamenCertora

4m 41s PlamenCertora:cpg-dataflow-producer-rfc

PlamenCertora:cpg-dataflow-producer-rfc

4m 41s

fix(ci): make two environment-brittle tests hermetic (first full-suit… tests #3: Commit 795962b pushed by PlamenTSV

2m 53s main

main

2m 53s

fix(ci): make two environment-brittle tests hermetic (first full-suit… install-smoke #57: Commit 795962b pushed by PlamenTSV

4m 50s main

main

4m 50s

docs(changelog): complete the 2.2.4 entry with the post-prep halt-fix… tests #2: Commit 371a0cb pushed by PlamenTSV

1m 43s v2.2.4

v2.2.4

1m 43s

docs(changelog): complete the 2.2.4 entry with the post-prep halt-fix… tests #1: Commit 371a0cb pushed by PlamenTSV

1m 36s main

main

1m 36s

docs(changelog): complete the 2.2.4 entry with the post-prep halt-fix… install-smoke #56: Commit 371a0cb pushed by PlamenTSV

4m 45s main

main

4m 45s

docs: fix stale facts across the documentation (v2.2.3, no version bump) install-smoke #55: Commit e4adae8 pushed by PlamenTSV

5m 59s main

main

5m 59s

docs: sync stale current-version declarations to v2.2.3 install-smoke #54: Commit c75b9b7 pushed by PlamenTSV

5m 16s main

main

5m 16s

v2.2.3: build-timeout fix, via-ir warning, precision regression fix, … install-smoke #53: Commit f9ce6a9 pushed by PlamenTSV

5m 8s main

main

5m 8s

v2.2.1: driver quality fixes — bake-timeout sizing, --fresh archive, … install-smoke #52: Commit 2161fb1 pushed by PlamenTSV

4m 17s main

main

4m 17s

fix(driver): suppress bypass-permissions dialog that hangs PTY workers install-smoke #51: Commit efd545f pushed by PlamenTSV

4m 35s main

main

4m 35s

merge: supersede public v2.1.2/v2.1.3 — all functional content reintr… install-smoke #50: Commit c61c8a3 pushed by PlamenTSV

4m 15s main

main

4m 15s

release: v2.1.3 — clear remaining first-run interactive gates for hea… install-smoke #49: Commit 1edcf87 pushed by PlamenTSV

5m 0s main

main

5m 0s

release: v2.1.2 — severity calibration, chain-High promotion, dedup s… install-smoke #48: Commit 6ff277d pushed by PlamenTSV

4m 18s main

main

4m 18s

test: genericize path-encoding fixture to a neutral example path install-smoke #46: Commit 4757377 pushed by PlamenTSV

4m 55s main

main

4m 55s

docs: bump version banners + plamen.md self-check to v2.1.1 install-smoke #45: Commit e11ff93 pushed by PlamenTSV

4m 18s main

main

4m 18s

v2.1.1: DAML ecosystem + report-dedup agent + de-overfit install-smoke #44: Commit 9c94a26 pushed by PlamenTSV

5m 33s main

main

5m 33s

fix(report_dedup): recall-safe consolidation — QO retabulation + same… install-smoke #43: Commit 3685a50 pushed by PlamenTSV

4m 36s main

main

4m 36s

fix(driver): 529/overloaded must not trigger the usage-cap pause on w… install-smoke #42: Commit 25d8db1 pushed by PlamenTSV

5m 42s main

main

5m 42s

fix(v2.1.0): codex-only uninstall, PATH-persistence hardening, compar… install-smoke #41: Commit bcf0cca pushed by PlamenTSV

5m 31s main

main

5m 31s

fix(deps): bound solana-fender's mcp + cap pywinpty major install-smoke #40: Commit 8e5886f pushed by PlamenTSV

5m 7s main

main

5m 7s

fix(setup): --locked on the avm (Anchor) cargo --git install — comple… install-smoke #39: Commit 18b56ba pushed by PlamenTSV

8m 15s main

main

8m 15s

docs(changelog): record v2.1.0 post-cut install-correctness fixes install-smoke #38: Commit 435058b pushed by PlamenTSV

5m 26s main

main

5m 26s

fix(setup): cargo install --locked for scout/cargo-fuzz/trident/rus… install-smoke #37: Commit dfe4a4e pushed by PlamenTSV

6m 9s main

main

6m 9s