Skip to content

Actions: pulseengine/kiln

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
150 workflow runs
150 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
ci: scope Pages concurrency per-ref so the required build context always reports CodeQL #50: Pull request #424 opened by avrabe
1h 37m 54s ci/fix-build-required-context
ci/fix-build-required-context
1h 37m 54s
docs(verification): honest, gated verification claims (drop "Formally Verified" overclaim) CodeQL #49: Pull request #423 opened by avrabe
1h 49m 43s docs/verification-honesty
docs/verification-honesty
1h 49m 43s
docs(rivet): wasm memory-bounding story — AD-WCMC-001 (scry proves the hard half, no new companion) CodeQL #48: Pull request #418 synchronize by avrabe
1h 45m 14s chore/memory-story-and-nostd-tracks
chore/memory-story-and-nostd-tracks
1h 45m 14s
docs(rivet): AD-LOADER-VERIFY-001 — sync the sigil on-target verify contract (kiln#421) CodeQL #47: Pull request #422 opened by avrabe
1h 36m 39s chore/loader-verify-contract
chore/loader-verify-contract
1h 36m 39s
docs(rivet): no_std interpreter direction — AD-NOSTD-INTERP-001 (hybrid with synth-AOT, amends RFC #46) CodeQL #46: Pull request #416 synchronize by avrabe
1h 32m 27s chore/nostd-interpreter-direction
chore/nostd-interpreter-direction
1h 32m 27s
fix(runtime,kilnd): table runtime cap + reject-at-load on oversized memory min (SR-43/SR-44) CodeQL #45: Pull request #420 opened by avrabe
1h 44m 14s fix/kilnd-memory-soundness
fix/kilnd-memory-soundness
1h 44m 14s
fix(kilnd): enforce --memory at runtime + report REAL resource usage … CodeQL #44: Commit f963401 pushed by avrabe
1h 13m 34s main
main
1h 13m 34s
docs(rivet): wasm memory-bounding story — AD-WCMC-001 (scry proves the hard half, no new companion) CodeQL #43: Pull request #418 synchronize by avrabe
1h 19m 58s chore/memory-story-and-nostd-tracks
chore/memory-story-and-nostd-tracks
1h 19m 58s
docs(rivet): wasm memory-bounding story — AD-WCMC-001 (scry proves the hard half, no new companion) CodeQL #42: Pull request #418 synchronize by avrabe
1h 20m 5s chore/memory-story-and-nostd-tracks
chore/memory-story-and-nostd-tracks
1h 20m 5s
docs(rivet): wasm memory-bounding story — AD-WCMC-001 (scry proves the hard half, no new companion) CodeQL #41: Pull request #418 opened by avrabe
13m 0s chore/memory-story-and-nostd-tracks
chore/memory-story-and-nostd-tracks
13m 0s
fix(kilnd): enforce --memory at runtime + report REAL resource usage (SR-41/SR-42, closes #411 #412) CodeQL #40: Pull request #417 opened by avrabe
4m 42s fix/kilnd-resource-accounting
fix/kilnd-resource-accounting
4m 42s
docs(rivet): comparison targets — spacewasm + DLR-FT (safety-critical… CodeQL #39: Commit f1a643f pushed by avrabe
4m 52s main
main
4m 52s
docs(rivet): no_std interpreter direction — AD-NOSTD-INTERP-001 (hybrid with synth-AOT, amends RFC #46) CodeQL #38: Pull request #416 synchronize by avrabe
9m 58s chore/nostd-interpreter-direction
chore/nostd-interpreter-direction
9m 58s
docs(rivet): no_std interpreter direction — AD-NOSTD-INTERP-001 (hybrid with synth-AOT, amends RFC #46) CodeQL #37: Pull request #416 synchronize by avrabe
11m 12s chore/nostd-interpreter-direction
chore/nostd-interpreter-direction
11m 12s
docs(rivet): no_std interpreter direction — AD-NOSTD-INTERP-001 (hybrid with synth-AOT, amends RFC #46) CodeQL #36: Pull request #416 synchronize by avrabe
9m 39s chore/nostd-interpreter-direction
chore/nostd-interpreter-direction
9m 39s
docs(rivet): no_std interpreter direction — AD-NOSTD-INTERP-001 (hybrid with synth-AOT, amends RFC #46) CodeQL #35: Pull request #416 opened by avrabe
12m 4s chore/nostd-interpreter-direction
chore/nostd-interpreter-direction
12m 4s
docs(rivet): comparison targets — spacewasm + DLR-FT (safety-critical Rust interpreter field) CodeQL #34: Pull request #414 synchronize by avrabe
7m 36s chore/engine-comparison-targets
chore/engine-comparison-targets
7m 36s
docs(rivet): comparison targets — spacewasm + DLR-FT (safety-critical Rust interpreter field) CodeQL #33: Pull request #414 opened by avrabe
8m 7s chore/engine-comparison-targets
chore/engine-comparison-targets
8m 7s
chore(release): v0.4.1 — component --wasi-fs read/list fix (closes #4… CodeQL #32: Commit 7a03932 pushed by avrabe
4m 58s main
main
4m 58s
chore(release): v0.4.1 — component --wasi-fs read/list fix (closes #405) CodeQL #31: Pull request #410 opened by avrabe
5m 24s release/v0.4.1
release/v0.4.1
5m 24s
feat(wasi): component directory enumeration under --wasi-fs (SR-39, c… CodeQL #30: Commit 5b569ca pushed by avrabe
8m 59s main
main
8m 59s
docs(rivet): land kiln-async wake/bridge gaps as roadmap requirements… CodeQL #29: Commit 0d63af0 pushed by avrabe
4m 44s main
main
4m 44s
feat(wasi): component directory enumeration under --wasi-fs (SR-39, closes #405) CodeQL #28: Pull request #409 opened by avrabe
4m 37s fix/sr-39-directory-enumeration
fix/sr-39-directory-enumeration
4m 37s
fix(wasi): component file read returns bytes in a guest-owned buffer … CodeQL #27: Commit 8cd2f30 pushed by avrabe
4m 41s main
main
4m 41s
docs(rivet): track kiln-async external-wake + host-future/Waker bridge gaps CodeQL #26: Pull request #408 opened by avrabe
4m 29s chore/async-roadmap-gaps
chore/async-roadmap-gaps
4m 29s