Skip to content

Actions: jkolantree/BSC

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 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 BSC Core v1.5 research milestone (#21) Verify release #75: Commit db77128 pushed by jkolantree
16m 57s main
main
16m 57s
Add BSC Core v1.5: identifiability and auditable evidence Verify release #74: Pull request #21 opened by jkolantree
17m 22s codex/bsc-core-v1-5
codex/bsc-core-v1-5
17m 22s
Merge pull request #20 from jkolantree/codex/q26-definitive-finish Verify release #73: Commit 906acc8 pushed by jkolantree
17m 35s main
main
17m 35s
Complete and externally validate the exact Q26 result Verify release #72: Pull request #20 opened by jkolantree
18m 24s codex/q26-definitive-finish
codex/q26-definitive-finish
18m 24s
Merge pull request #19 from jkolantree/codex/q26-lean-4322 Verify release #71: Commit 467b623 pushed by jkolantree
21m 25s main
main
21m 25s
Validate Q26 proof with Lean 4.32.2 Verify release #70: Pull request #19 synchronize by jkolantree
16m 59s codex/q26-lean-4322
codex/q26-lean-4322
16m 59s
Validate Q26 proof with Lean 4.32.2 Verify release #69: Pull request #19 synchronize by jkolantree
12m 53s codex/q26-lean-4322
codex/q26-lean-4322
12m 53s
Validate Q26 proof with Lean 4.32.2 Verify release #68: Pull request #19 opened by jkolantree
16m 52s codex/q26-lean-4322
codex/q26-lean-4322
16m 52s
Merge pull request #18 from jkolantree/codex/q26-unrestricted-lean-proof Verify release #67: Commit 299ede8 pushed by jkolantree
1m 44s main
main
1m 44s
Prove Q26 has no thirteen-queen dominator Verify release #66: Pull request #18 synchronize by jkolantree
1m 26s codex/q26-unrestricted-lean-proof
codex/q26-unrestricted-lean-proof
1m 26s
Prove Q26 has no thirteen-queen dominator Verify release #65: Pull request #18 opened by jkolantree
1m 35s codex/q26-unrestricted-lean-proof
codex/q26-unrestricted-lean-proof
1m 35s
Merge pull request #17 from jkolantree/codex/q26-symmetry-profile-red… Verify release #64: Commit d9f4ab8 pushed by jkolantree
1m 32s main
main
1m 32s
Add Q26 symmetry-parity shell reduction Verify release #63: Pull request #17 opened by jkolantree
1m 17s codex/q26-symmetry-profile-reduction
codex/q26-symmetry-profile-reduction
1m 17s
Merge pull request #15 from jkolantree/codex/q26-queen-domination-attack Verify release #62: Commit 2d054d5 pushed by jkolantree
2m 11s main
main
2m 11s
Add C13 covering research artifact Verify release #61: Pull request #16 opened by jkolantree
1m 28s codex/c13-covering-rigidity
codex/c13-covering-rigidity
1m 28s
Add exact Q26 queen-domination attack Verify release #60: Pull request #15 opened by jkolantree
1m 24s codex/q26-queen-domination-attack
codex/q26-queen-domination-attack
1m 24s
Merge pull request #14 from jkolantree/codex/lorentz-auxiliary-passiv… Verify release #59: Commit ad993f1 pushed by jkolantree
1m 39s main
main
1m 39s
Add exact Lorentz auxiliary-state passivity fixture Verify release #58: Pull request #14 opened by jkolantree
1m 37s codex/lorentz-auxiliary-passivity-post-astra
codex/lorentz-auxiliary-passivity-post-astra
1m 37s
Merge pull request #13 from jkolantree/codex/astra-dual-rent-crosswalk Verify release #57: Commit 5fd4600 pushed by jkolantree
1m 39s main
main
1m 39s
Add ASTRA dual-rent source-admission crosswalk Verify release #56: Pull request #13 opened by jkolantree
2m 55s codex/astra-dual-rent-crosswalk
codex/astra-dual-rent-crosswalk
2m 55s
Merge pull request #12 from jkolantree/codex/electrostatic-critical-p… Verify release #55: Commit cd470a1 pushed by jkolantree
1m 25s main
main
1m 25s
Add electrostatic critical-point transfer Verify release #54: Pull request #12 opened by jkolantree
2m 18s codex/electrostatic-critical-point-transfer
codex/electrostatic-critical-point-transfer
2m 18s
Merge pull request #11 from jkolantree/codex/finite-rational-derived-… Verify release #53: Commit ccb1bc9 pushed by jkolantree
1m 34s main
main
1m 34s
Add exact rational derived-holonomy certificates Verify release #52: Pull request #11 opened by jkolantree
4m 59s codex/finite-rational-derived-holonomy
codex/finite-rational-derived-holonomy
4m 59s
Merge pull request #10 from jkolantree/codex/trust-boundary-maintenance Verify release #51: Commit a643b05 pushed by jkolantree
1m 26s main
main
1m 26s