Skip to content

Actions: lexicone42/gleisner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Landlock acknowledgment, SeccompPreset::Baseline, cmake error hint CI #107: Commit 0f19657 pushed by bryanegan
Startup failure main
main
Startup failure
Update docs: delegation API, scoping, Z3 redesign, security checklist CI #106: Commit 796e5db pushed by bryanegan
Startup failure main
main
Startup failure
Redesign Z3: solver timeout, delegation scoping, greedy partitioner CI #105: Commit 902d9f5 pushed by bryanegan
Startup failure main
main
Startup failure
Fix fuzz_system_prompt false positive for user-controlled domains CI #104: Commit 88cf691 pushed by bryanegan
Startup failure main
main
Startup failure
Add 2 cargo-fuzz targets for container crate CI #103: Commit 324c80a pushed by bryanegan
Startup failure main
main
Startup failure
Fix remaining 6 sharp edges from Trail of Bits analysis CI #102: Commit cb1f2e5 pushed by bryanegan
Startup failure main
main
Startup failure
Fix sharp edges, add 9 property tests (proptest), fix prompt bug CI #101: Commit 89fdb29 pushed by bryanegan
Startup failure main
main
Startup failure
Add Claude-to-Claude delegation protocol CI #100: Commit 3d5f1b5 pushed by bryanegan
Startup failure main
main
Startup failure
Add audit observer integration, context file, explain_verbose CI #99: Commit 61cfc3c pushed by bryanegan
Startup failure main
main
Startup failure
Fix build() to take &self, enabling task reuse for narrow() CI #98: Commit f76015b pushed by bryanegan
Startup failure main
main
Startup failure
Add full pipeline e2e test: declare → explain → prompt → run → narrow CI #97: Commit 8885a05 pushed by bryanegan
Startup failure main
main
Startup failure
Add audit log observer and system prompt generation for agents CI #96: Commit 910db6a pushed by bryanegan
Startup failure main
main
Startup failure
Update docs for container task API, explain, narrow, merge CI #95: Commit db41a52 pushed by bryanegan
Startup failure main
main
Startup failure
Add task merge, capability explanation, and runtime narrowing CI #94: Commit 94f50e4 pushed by bryanegan
Startup failure main
main
Startup failure
Add task-oriented sandbox API and claude_code_sandbox() convenience CI #93: Commit a75cf38 pushed by bryanegan
Startup failure main
main
Startup failure
Add bind mount ergonomics, cleanup, timing, signal info, timeout tests CI #92: Commit 9944724 pushed by bryanegan
Startup failure main
main
Startup failure
Add Stdio control, timeouts, empty(), project_dir to container CI #91: Commit f0fbd80 pushed by bryanegan
Startup failure main
main
Startup failure
Add Z3 policy verification and 276-package composition analysis CI #90: Commit d99ca2a pushed by bryanegan
Startup failure main
main
Startup failure
Add combined e2e tests and gleisner-in-gleisner (g-in-g) test CI #89: Commit e1d473a pushed by bryanegan
Startup failure main
main
Startup failure
Add symlink, procfs/devfs control, and 7 live e2e sandbox tests CI #88: Commit bbd1b95 pushed by bryanegan
Startup failure main
main
Startup failure
Add rootfs(), file injection, and fine-grained Landlock to container CI #87: Commit ff2245a pushed by bryanegan
Startup failure main
main
Startup failure
Update docs for gleisner-container crate (10th crate) CI #86: Commit 98d8f54 pushed by bryanegan
Startup failure main
main
Startup failure
Add Z3 composed environment security analysis with optimal partitioning CI #85: Commit 38b57ef pushed by bryanegan
Startup failure main
main
Startup failure
Add 7 e2e tests for Z3 policy lattice and SBOM compliance CI #84: Commit 0a81e51 pushed by bryanegan
Startup failure main
main
Startup failure
Add Z3 policy lattice, SBOM integration, and proof-carrying SBOMs docs CI #83: Commit 4a9efc7 pushed by bryanegan
Startup failure main
main
Startup failure