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
prove multivariate Gauss gcd existence CI #13782: Pull request #10123 synchronize by kim-em
In progress issue-10082
issue-10082
In progress
perf(int-factor): accept shared-host divisor evidence CI #13781: Pull request #10122 synchronize by kim-em
In progress issue-9619
issue-9619
In progress
prove multivariate Gauss gcd existence CI #13780: Pull request #10123 opened by kim-em
15m 16s issue-10082
issue-10082
15m 16s
feat(release): publish one shared semantic version CI #13779: Pull request #10121 synchronize by kim-em
In progress release-sync-semver
release-sync-semver
In progress
perf(int-factor): accept shared-host divisor evidence CI #13778: Pull request #10122 opened by kim-em
40m 20s issue-9619
issue-9619
40m 20s
Revert "publish released mirrors' oleans to the Lake cache" (#10071) Pages #1066: Commit 2fb9a0f pushed by kim-em
In progress main
main
In progress
Revert "publish released mirrors' oleans to the Lake cache" (#10071) CI #13777: Commit 2fb9a0f pushed by kim-em
Pending main
main
Pending
feat(release): publish one shared semantic version CI #13776: Pull request #10121 opened by kim-em
22m 59s release-sync-semver
release-sync-semver
22m 59s
feat(real-roots-mathlib): checked root counts and a simpler Sturm API… Pages #1065: Commit d1589ad pushed by kim-em
1h 5m 52s main
main
1h 5m 52s
feat(real-roots-mathlib): checked root counts and a simpler Sturm API… CI #13775: Commit d1589ad pushed by kim-em
In progress main
main
In progress
prove recursive-view multiplication and domain fields (#10120) CI #13774: Commit dff765e pushed by kim-em
1h 4m 14s main
main
1h 4m 14s
prove recursive-view multiplication and domain fields (#10120) Pages #1064: Commit dff765e pushed by kim-em
48m 5s main
main
48m 5s
Prepare the Mathlib-free polynomial gcd-domain lift CI #13773: Pull request #10120 synchronize by kim-em
46m 31s issue-10082
issue-10082
46m 31s
doc: close out Cloudflare cache migration (#10116) Pages #1063: Commit eb30ce7 pushed by kim-em
12m 55s main
main
12m 55s
doc: close out Cloudflare cache migration (#10116) CI #13772: Commit eb30ce7 pushed by kim-em
38m 44s main
main
38m 44s
Prepare the Mathlib-free polynomial gcd-domain lift CI #13771: Pull request #10120 synchronize by kim-em
3m 46s issue-10082
issue-10082
3m 46s
perf(number-field-tower): refresh the recorded mode-3 medians CI #13770: Pull request #10117 synchronize by kim-em
33m 49s tower-perf-refresh-10110
tower-perf-refresh-10110
33m 49s
Prepare the Mathlib-free polynomial gcd-domain lift CI #13769: Pull request #10120 opened by kim-em
3m 43s issue-10082
issue-10082
3m 43s
feat(real-roots-mathlib): checked root counts and a simpler Sturm API CI #13768: Pull request #10101 synchronize by kim-em
1h 0m 55s nauty-applications
nauty-applications
1h 0m 55s
feat(graph-iso): establish engine comparison and pruning invariants CI #13767: Pull request #10107 synchronize by kim-em
49m 6s issue-10043
issue-10043
49m 6s
perf(number-field-tower): refresh the recorded mode-3 medians CI #13766: Pull request #10117 opened by kim-em
29m 4s tower-perf-refresh-10110
tower-perf-refresh-10110
29m 4s
doc: close out Cloudflare cache migration CI #13765: Pull request #10116 opened by kim-em
38m 42s docs/cloudflare-migration-closeout
docs/cloudflare-migration-closeout
38m 42s
prove gcd-domain cancellation and primitive descent (#10115) CI #13764: Commit 8b4f559 pushed by kim-em
46m 34s main
main
46m 34s
prove gcd-domain cancellation and primitive descent (#10115) Pages #1062: Commit 8b4f559 pushed by kim-em
36m 43s main
main
36m 43s
perf(number-field-tower): reduce quadratic norms and skip singleton g… CI #13763: Commit 7fcd3ed pushed by kim-em
17m 2s main
main
17m 2s