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
perf(number-field-tower): validate linear negation family CI #13348: Pull request #9967 opened by kim-em
In progress issue-9944
issue-9944
In progress
docs(graph-iso): collected manual revision with general families and performance CI #13347: Pull request #9966 opened by kim-em
In progress graphiso-land-manual
graphiso-land-manual
In progress
feat(graph-iso): refine's fixpoint is equitable (#9964) CI #13346: Commit 6f6aeed pushed by kim-em
In progress main
main
In progress
feat(graph-iso): refine's fixpoint is equitable (#9964) Pages #964: Commit 6f6aeed pushed by kim-em
16m 47s main
main
16m 47s
feat(graph-iso): refine's fixpoint is equitable CI #13345: Pull request #9964 synchronize by kim-em
40m 56s graphiso-land-equit
graphiso-land-equit
40m 56s
feat(graph-iso): refine's fixpoint is equitable CI #13344: Pull request #9964 synchronize by kim-em
18s graphiso-land-equit
graphiso-land-equit
18s
chore: make nauty-ffi standalone (#9961) Pages #963: Commit 12cd86e pushed by kim-em
59m 27s main
main
59m 27s
chore: make nauty-ffi standalone (#9961) CI #13343: Commit 12cd86e pushed by kim-em
1h 15m 16s main
main
1h 15m 16s
feat(graph-iso): refine's fixpoint is equitable CI #13342: Pull request #9964 opened by kim-em
17s graphiso-land-equit
graphiso-land-equit
17s
feat(graph-iso): equitability foundations and the domination event la… CI #13341: Commit 62372aa pushed by kim-em
41m 39s main
main
41m 39s
feat(graph-iso): equitability foundations and the domination event la… Pages #962: Commit 62372aa pushed by kim-em
22m 37s main
main
22m 37s
feat(graph-iso): equitability foundations and the domination event layer CI #13340: Pull request #9963 opened by kim-em
22m 23s graphiso-land-events
graphiso-land-events
22m 23s
chore: make nauty-ffi standalone CI #13339: Pull request #9961 synchronize by kim-em
43m 4s issue-9952-standalone
issue-9952-standalone
43m 4s
feat(graph-iso): stabilization, orbjoin soundness, and the domination… CI #13338: Commit 4ba6311 pushed by kim-em
40m 39s main
main
40m 39s
feat(graph-iso): stabilization, orbjoin soundness, and the domination… Pages #961: Commit 4ba6311 pushed by kim-em
24m 44s main
main
24m 44s
feat(graph-iso): stabilization, orbjoin soundness, and the domination dischargers CI #13337: Pull request #9962 opened by kim-em
20m 34s graphiso-land-stab
graphiso-land-stab
20m 34s
feat(graph-iso): the proven clauses of the replay hypothesis (#9960) CI #13336: Commit a8fe8c6 pushed by kim-em
43m 28s main
main
43m 28s
feat(graph-iso): the proven clauses of the replay hypothesis (#9960) Pages #960: Commit a8fe8c6 pushed by kim-em
31m 25s main
main
31m 25s
chore: make nauty-ffi standalone CI #13335: Pull request #9961 synchronize by kim-em
43m 15s issue-9952-standalone
issue-9952-standalone
43m 15s
chore: make nauty-ffi standalone CI #13334: Pull request #9961 opened by kim-em
3m 8s issue-9952-standalone
issue-9952-standalone
3m 8s
feat(graph-iso): the proven clauses of the replay hypothesis CI #13333: Pull request #9960 opened by kim-em
28m 8s graphiso-land-store
graphiso-land-store
28m 8s
feat(graph-iso): unconditional tracing and the totality reduction (#9… Pages #959: Commit c1f10c6 pushed by kim-em
49m 46s main
main
49m 46s
feat(graph-iso): unconditional tracing and the totality reduction (#9… CI #13332: Commit c1f10c6 pushed by kim-em
58m 35s main
main
58m 35s
Sync released repos Sync released repos #126: Manually run by kim-em
23s main
main
23s
Sync released repos Sync released repos #125: Manually run by kim-em
27s main
main
27s