Skip to content

Actions: kim-em/hex-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
doc: add a Rubik's cube group tutorial CI #16456: Pull request #10819 synchronize by kim-em
12m 53s doc/rubik-tutorial
doc/rubik-tutorial
12m 53s
doc: add a Rubik's cube group tutorial CI #16455: Pull request #10819 synchronize by kim-em
2s doc/rubik-tutorial
doc/rubik-tutorial
2s
Sync released repos Sync released repos #192: Manually run by kim-em
3h 3m 46s release-0.7.0
release-0.7.0
3h 3m 46s
perf: keep extension-built suffixes and store inverse representatives CI #16454: Pull request #10833 synchronize by kim-em
1h 0m 23s perf/perm-group-one-phase
perf/perm-group-one-phase
1h 0m 23s
perf: smaller perm_group certificates without inverse generators (#10… CI #16453: Commit 007d017 pushed by kim-em
3h 53m 34s main
main
3h 53m 34s
perf: smaller perm_group certificates without inverse generators (#10… Pages #1637: Commit 007d017 pushed by kim-em
29m 31s main
main
29m 31s
Validate supplied inverse equations without computing the native candidate CI #16452: Pull request #10844 opened by kim-em
1h 47m 40s issue-10378-supplied-inverse
issue-10378-supplied-inverse
1h 47m 40s
Preserve ordered registered coefficient values through RCF gathering … Pages #1636: Commit 2760639 pushed by kim-em
12m 49s main
main
12m 49s
Preserve ordered registered coefficient values through RCF gathering … CI #16451: Commit 2760639 pushed by kim-em
3m 4s main
main
3m 4s
Preserve reconciled owners and live dependencies through context enlargement CI #16450: Pull request #10843 opened by kim-em
1h 45m 0s issue-10378-reconciled-enlargement
issue-10378-reconciled-enlargement
1h 45m 0s
Reconcile shared tower contexts and prove owner, cache and union agre… CI #16449: Commit 55ce3a7 pushed by kim-em
2h 27m 15s main
main
2h 27m 15s
Reconcile shared tower contexts and prove owner, cache and union agre… Pages #1635: Commit 55ce3a7 pushed by kim-em
15m 58s main
main
15m 58s
Preserve ordered registered coefficient values through RCF gathering CI #16448: Pull request #10842 synchronize by kim-em
57m 0s issue-10358
issue-10358
57m 0s
Preserve ordered registered coefficient values through RCF gathering CI #16447: Pull request #10842 opened by kim-em
5m 17s issue-10358
issue-10358
5m 17s
feat: identify retained nested selected roots in the reals CI #16446: Pull request #10841 opened by kim-em
1h 45m 21s issue-10378-nested-real
issue-10378-nested-real
1h 45m 21s
Preserve registered source values through native RCF gathering (#10839) Pages #1634: Commit 4aa3409 pushed by kim-em
9m 44s main
main
9m 44s
Preserve registered source values through native RCF gathering (#10839) CI #16445: Commit 4aa3409 pushed by kim-em
41m 12s main
main
41m 12s
perf: smaller perm_group certificates without inverse generators CI #16444: Pull request #10814 synchronize by kim-em
1h 38m 9s perf/perm-group-small-certificates
perf/perm-group-small-certificates
1h 38m 9s
Replay nested descriptor inventories and finite-point arithmetic (#10… CI #16443: Commit 8dec01e pushed by kim-em
26m 16s main
main
26m 16s
Replay nested descriptor inventories and finite-point arithmetic (#10… Pages #1633: Commit 8dec01e pushed by kim-em
12m 22s main
main
12m 22s
feat: reuse checked perm_group certificates within a file (#10809) Pages #1632: Commit 522d08a pushed by kim-em
20m 4s main
main
20m 4s
feat: reuse checked perm_group certificates within a file (#10809) CI #16442: Commit 522d08a pushed by kim-em
2h 15m 9s main
main
2h 15m 9s
Reconcile shared tower contexts and prove owner, cache and union agreement CI #16441: Pull request #10840 synchronize by kim-em
1h 42m 56s issue-10378-reconciled-transport
issue-10378-reconciled-transport
1h 42m 56s
Reconcile shared tower contexts and prove owner, cache and union agreement CI #16440: Pull request #10840 opened by kim-em
35m 42s issue-10378-reconciled-transport
issue-10378-reconciled-transport
35m 42s
Preserve registered source values through native RCF gathering CI #16439: Pull request #10839 synchronize by kim-em
1h 54m 54s issue-10358
issue-10358
1h 54m 54s