Skip to content

Actions: keplertech/22b

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 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 numbered design checkpoints and GCD undo regression Skills and examples #20: Pull request #3 opened by nanocoh
1m 19s Development
Development
1m 19s
Add numbered design checkpoints and GCD undo regression GCD packaged undo #2: Pull request #3 opened by nanocoh
4m 28s Development
Development
4m 28s
Add numbered design checkpoints and GCD undo regression GCD packaged reference #16: Pull request #3 opened by nanocoh
3m 18s Development
Development
3m 18s
Add numbered design checkpoints and GCD undo regression GCD packaged undo #1: Commit 6066e38 pushed by nanocoh
15m 50s Development
Development
15m 50s
Add numbered design checkpoints and GCD undo regression GCD packaged reference #15: Commit 6066e38 pushed by nanocoh
14m 49s Development
Development
14m 49s
Add numbered design checkpoints and GCD undo regression Skills and examples #19: Commit 6066e38 pushed by nanocoh
11m 57s Development
Development
11m 57s
Merge pull request #2 from keplertech/Development GCD packaged reference #14: Commit 2471012 pushed by nanocoh
2m 18s main
main
2m 18s
Merge pull request #2 from keplertech/Development Skills and examples #18: Commit 2471012 pushed by nanocoh
17s main
main
17s
Add direct agent MCP setup and live attachment regression GCD packaged reference #13: Pull request #2 opened by nanocoh
2m 31s Development
Development
2m 31s
Add direct agent MCP setup and live attachment regression Skills and examples #17: Pull request #2 opened by nanocoh
32s Development
Development
32s
Add direct agent MCP setup and live attachment regression GCD packaged reference #12: Commit b6cdb70 pushed by nanocoh
2m 48s Development
Development
2m 48s
Add direct agent MCP setup and live attachment regression Skills and examples #16: Commit b6cdb70 pushed by nanocoh
27s Development
Development
27s
Merge pull request #1 from keplertech/Development Skills and examples #15: Commit 6337b0f pushed by nanocoh
9s main
main
9s
Merge pull request #1 from keplertech/Development GCD packaged reference #11: Commit 6337b0f pushed by nanocoh
2m 8s main
main
2m 8s
Add revision-aware Naja-Scope inspection checkpoints Skills and examples #14: Pull request #1 opened by nanocoh
11s Development
Development
11s
Add revision-aware Naja-Scope inspection checkpoints GCD packaged reference #10: Pull request #1 opened by nanocoh
2m 5s Development
Development
2m 5s
Add revision-aware Naja-Scope inspection checkpoints Skills and examples #13: Commit 5843ed1 pushed by nanocoh
9s Development
Development
9s
Add revision-aware Naja-Scope inspection checkpoints GCD packaged reference #9: Commit 5843ed1 pushed by nanocoh
1m 52s Development
Development
1m 52s
Use native Naja references for persistent verification sessions Skills and examples #12: Commit 8f4fcbd pushed by nanocoh
7s main
main
7s
Use native Naja references for persistent verification sessions GCD packaged reference #8: Commit 8f4fcbd pushed by nanocoh
2m 0s main
main
2m 0s
Add persistent in-memory editing sessions with automatic SEC GCD packaged reference #7: Commit 9557b8f pushed by nanocoh
2m 15s main
main
2m 15s
Add persistent in-memory editing sessions with automatic SEC Skills and examples #11: Commit 9557b8f pushed by nanocoh
10s main
main
10s
Use Python-backed Kepler Formal MCP for SEC verification GCD packaged reference #6: Commit 8df3e33 pushed by nanocoh
2m 1s main
main
2m 1s
Use Python-backed Kepler Formal MCP for SEC verification Skills and examples #10: Commit 8df3e33 pushed by nanocoh
8s main
main
8s
Add public download fallback for README demo video GCD packaged reference #5: Commit f3a1927 pushed by nanocoh
16m 12s main
main
16m 12s