Skip to content

Actions: nerdsane/bloodhound

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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 ADR-011: Multiverse Exploration and Scenario DSL CI #77: Commit d91ec5e pushed by nerdsane
4m 59s master
master
4m 59s
Fix stateright model: bound state space with max_id_counter CI #76: Commit 97a80e6 pushed by nerdsane
5m 1s master
master
5m 1s
feat(verification): Add verification pyramid with shared invariants CI #75: Commit 376debe pushed by nerdsane
4m 30s master
master
4m 30s
docs(adr): Mark gVisor Socket syscall hook as complete in ADR-010 CI #74: Commit 643ee3b pushed by nerdsane
5m 7s master
master
5m 7s
docs(adr): Update ADR-010 with Phase 2-4 completion status CI #73: Commit bc01046 pushed by nerdsane
6m 11s master
master
6m 11s
docs(adr): Mark Phase 1 as complete in ADR-010 CI #72: Commit 39fd09a pushed by nerdsane
3m 30s master
master
3m 30s
docs(adr): Update ADR-010 with Phase 1 implementation status CI #71: Commit 1fc18c2 pushed by nerdsane
4m 30s master
master
4m 30s
docs: Add ADR-010 State-of-the-Art DST Roadmap CI #70: Commit 588344e pushed by nerdsane
3m 31s master
master
3m 31s
docs: Update ADRs and capstone with gVisor DST fault injection results Release #3: Commit 4089f2f pushed by nerdsane
8s v0.3.0
v0.3.0
8s
docs: Update ADRs and capstone with gVisor DST fault injection results CI #69: Commit 4089f2f pushed by nerdsane
4m 34s master
master
4m 34s
docs: Add testing requirements to CLAUDE.md CI #68: Commit d5047ee pushed by nerdsane
5m 8s master
master
5m 8s
feat: Add multi-backend capstone demonstration CI #67: Commit 7869c22 pushed by nerdsane
4m 22s master
master
4m 22s
Merge remote-tracking branch 'origin/explore/hypervisor-alternatives' CI #66: Commit 48fa50a pushed by nerdsane
4m 39s master
master
4m 39s
Merge pull request #1 from nerdsane/explore/hypervisor-alternatives CI #65: Commit 8fb9c5e pushed by nerdsane
5m 22s master
master
5m 22s
feat: gVisor DST integration with syscall-level fault injection CI #64: Pull request #1 opened by nerdsane
4m 40s explore/hypervisor-alternatives
explore/hypervisor-alternatives
4m 40s
chore: Bump version to 0.2.0 CI #63: Commit b3aa6c0 pushed by nerdsane
3m 56s master
master
3m 56s
chore: Bump version to 0.2.0 Release #2: Commit b3aa6c0 pushed by nerdsane
42s v0.2.0
v0.2.0
42s
feat: Add registry authentication support for private images CI #62: Commit d9b8c78 pushed by nerdsane
6m 18s master
master
6m 18s
feat: Add OCI image integration with layer-level caching CI #61: Commit ca13be3 pushed by nerdsane
3m 58s master
master
3m 58s
feat: Add container auto-translation with digest-based caching CI #60: Commit e8abd2a pushed by nerdsane
3m 0s master
master
3m 0s
test: Add end-to-end async-VM property trigger integration tests CI #59: Commit d9cc17a pushed by nerdsane
3m 17s master
master
3m 17s
fix: Fix script path resolution in property checker CI #58: Commit 89db8a5 pushed by nerdsane
2m 0s master
master
2m 0s
docs: Add example bloodhound.yaml with all trigger types CI #57: Commit b352037 pushed by nerdsane
3m 25s master
master
3m 25s
feat: Add YAML configuration for property triggers CI #56: Commit 945e2c6 pushed by nerdsane
1m 10s master
master
1m 10s
feat: Integrate TriggerManager into SimulationCoordinator.step() CI #55: Commit c2df8a6 pushed by nerdsane
2m 12s master
master
2m 12s