Skip to content

Actions: eisber/lox-cli

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
677 workflow runs
677 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 property-based evaluation engine for circuit verification Secret Scan #217: Commit 2b5d178 pushed by eisber
1m 23s main
main
1m 23s
Add property-based evaluation engine for circuit verification CI #217: Commit 2b5d178 pushed by eisber
9m 24s main
main
9m 24s
Push on main CodeQL #214: by eisber
2m 40s main
main
2m 40s
feat(sim): add block_type to graph and --json output for sim dump CI #216: Commit aa324fa pushed by eisber
9m 14s main
main
9m 14s
feat(sim): add block_type to graph and --json output for sim dump Secret Scan #216: Commit aa324fa pushed by eisber
1m 9s main
main
1m 9s
Push on main CodeQL #213: by eisber
2m 2s main
main
2m 2s
feat(eval): hybrid mode — sim specs + trace-eval judge run together CI #215: Commit 2e2469b pushed by eisber
8m 30s main
main
8m 30s
feat(eval): hybrid mode — sim specs + trace-eval judge run together Secret Scan #215: Commit 2e2469b pushed by eisber
1m 12s main
main
1m 12s
Push on main CodeQL #212: by eisber
1m 24s main
main
1m 24s
fix(eval): ua10 (.I1→.Presence), nc14 (explicit off input), ns10 (AQ … Secret Scan #214: Commit 69ce2f9 pushed by eisber
1m 20s main
main
1m 20s
fix(eval): ua10 (.I1→.Presence), nc14 (explicit off input), ns10 (AQ … CI #214: Commit 69ce2f9 pushed by eisber
9m 39s main
main
9m 39s
Push on main CodeQL #211: by eisber
2m 11s main
main
2m 11s
fix(eval): ns10 HourCounter spec — check AQ (running hours) not Q (th… Secret Scan #213: Commit 1c4e23b pushed by eisber
1m 12s main
main
1m 12s
fix(eval): ns10 HourCounter spec — check AQ (running hours) not Q (th… CI #213: Commit 1c4e23b pushed by eisber
8m 40s main
main
8m 40s
Push on main CodeQL #210: by eisber
1m 40s main
main
1m 40s
fix: update InputRef passthrough test for 2-channel output CI #212: Commit 55589a3 pushed by eisber
10m 19s main
main
10m 19s
fix: update InputRef passthrough test for 2-channel output Secret Scan #212: Commit 55589a3 pushed by eisber
1m 41s main
main
1m 41s
Push on main CodeQL #209: by eisber
2m 4s main
main
2m 4s
fix(sim): InputRef block with proper I/AI→Q/AQ passthrough Secret Scan #211: Commit 030bf77 pushed by eisber
1m 59s main
main
1m 59s
fix(sim): InputRef block with proper I/AI→Q/AQ passthrough CI #211: Commit 030bf77 pushed by eisber
4m 51s main
main
4m 51s
Push on main CodeQL #208: by eisber
1m 57s main
main
1m 57s
fix(eval): ch-015 hint — no InputRef, shorter names CI #210: Commit 7257c87 pushed by eisber
9m 36s main
main
9m 36s
fix(eval): ch-015 hint — no InputRef, shorter names Secret Scan #210: Commit 7257c87 pushed by eisber
1m 14s main
main
1m 14s
Push on main CodeQL #207: by eisber
2m 9s main
main
2m 9s
fix(eval): substitute FILE placeholder in hint with actual config path Secret Scan #209: Commit 1eb9127 pushed by eisber
1m 1s main
main
1m 1s