Skip to content

Actions: twilde/sfic-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
342 workflow runs
342 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
Scheduled CodeQL #131: by github-advanced-security AI
1m 19s main
main
1m 19s
github_actions in /. - Update #1617579893 Dependabot Updates #2: by dependabot Bot
41s main
main
41s
check_system: name the keys the shape advice checks CI #203: Commit 38dc9fd pushed by twilde
9m 48s main
main
9m 48s
Push on main CodeQL #130: by twilde
1m 7s main
main
1m 7s
check_system advises on key shape, and the shape rules design is closed out (D64, step 5) CI #202: Pull request #39 synchronize by twilde
1m 39s shape-rules-check
shape-rules-check
1m 39s
PR #39 CodeQL #129: by twilde
1m 2s refs/pull/39/head
refs/pull/39/head
1m 2s
check_system advises on key shape, and the shape rules design is closed out (D64, step 5) CI #201: Pull request #39 opened by twilde
2m 16s shape-rules-check
shape-rules-check
2m 16s
PR #39 CodeQL #128: by twilde
48s refs/pull/39/head
refs/pull/39/head
48s
solve_system: fix a crash in the summary, and blame the right key of … CI #200: Commit b3772a1 pushed by twilde
8m 34s main
main
8m 34s
Push on main CodeQL #127: by twilde
1m 11s main
main
1m 11s
The solver follows the key shape rules (D64, step 4) CI #199: Pull request #38 synchronize by twilde
1m 40s shape-rules-solver
shape-rules-solver
1m 40s
PR #38 CodeQL #126: by twilde
59s refs/pull/38/head
refs/pull/38/head
59s
The solver follows the key shape rules (D64, step 4) CI #198: Pull request #38 opened by twilde
1m 29s shape-rules-solver
shape-rules-solver
1m 29s
PR #38 CodeQL #125: by twilde
47s refs/pull/38/head
refs/pull/38/head
47s
Push on main CodeQL #124: by twilde
1m 11s main
main
1m 11s
gen_bittings and check_bittings follow and note the key shape rules (… CI #197: Commit cadca36 pushed by twilde
8m 21s main
main
8m 21s
gen_bittings and check_bittings follow and note the key shape rules (D64, step 3) CI #196: Pull request #37 synchronize by twilde
1m 17s shape-rules-cli
shape-rules-cli
1m 17s
PR #37 CodeQL #123: by twilde
48s refs/pull/37/head
refs/pull/37/head
48s
gen_bittings and check_bittings follow and note the key shape rules (D64, step 3) CI #195: Pull request #37 opened by twilde
1m 20s shape-rules-cli
shape-rules-cli
1m 20s
PR #37 CodeQL #122: by twilde
51s refs/pull/37/head
refs/pull/37/head
51s
Read key shape rules from an optional shape field in the system file … CI #194: Commit 63a6d94 pushed by twilde
8m 23s main
main
8m 23s
Push on main CodeQL #121: by twilde
2m 34s main
main
2m 34s
Read key shape rules from an optional shape field in the system file (D64, step 2) CI #193: Pull request #36 synchronize by twilde
5m 40s shape-rules-config
shape-rules-config
5m 40s
PR #36 CodeQL #120: by twilde
55s refs/pull/36/head
refs/pull/36/head
55s
Read key shape rules from an optional shape field in the system file (D64, step 2) CI #192: Pull request #36 opened by twilde
1m 23s shape-rules-config
shape-rules-config
1m 23s