Skip to content

Actions: morluto/jacobian

Actions

Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmarks.yml
2,500+ workflow runs
2,500+ workflow runs

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
feat(math): add finite topological spaces domain with interior, closure, boundary, Kolmogorov quotient, and continuity check (#1920) Benchmarks #4181: Pull request #2037 opened by morluto
36s agent/finite-topological-spaces-1920
agent/finite-topological-spaces-1920
36s
feat(math): add finite stochastic processes domain with sigma algebras, conditional expectation, filtrations, and Doob martingales (#1806) Benchmarks #4180: Pull request #2036 opened by morluto
37s agent/finite-stochastic-processes-1806
agent/finite-stochastic-processes-1806
37s
feat(math): add formal concept analysis domain with derivation, closure, concepts, and lattice (#1896) Benchmarks #4179: Pull request #2035 opened by morluto
1m 10s agent/formal-concept-analysis-1896
agent/formal-concept-analysis-1896
1m 10s
feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912) Benchmarks #4178: Pull request #2034 opened by morluto
34s agent/finite-universal-algebra-1912
agent/finite-universal-algebra-1912
34s
feat(math): add combinatorial matrices domain with Hadamard profiles, normalization, determinant, and Sylvester construction (#1784) Benchmarks #4177: Pull request #2033 opened by morluto
34s agent/combinatorial-matrices-1784
agent/combinatorial-matrices-1784
34s
feat(math): add tree decompositions domain with width, occurrences, adhesions, reroot, restrict, bag intersection (#1731) Benchmarks #4176: Pull request #2032 opened by morluto
41s agent/tree-decompositions-1731
agent/tree-decompositions-1731
41s
feat(math): add greedoids domain with recognize, rank, bases, basic words, convex geometry (#1915) Benchmarks #4175: Pull request #2031 opened by morluto
37s agent/greedoids-antimatroids-1915
agent/greedoids-antimatroids-1915
37s
feat(math): add combinatorial maps domain with faces and dual operations (#1728) Benchmarks #4174: Pull request #2030 opened by morluto
35m 47s agent/combinatorial-maps-1728
agent/combinatorial-maps-1728
35m 47s
chore(main): release jacobian 0.13.0 Benchmarks #4173: Pull request #1451 synchronize by github-actions Bot
Action required release-please--branches--main--components--jacobian
release-please--branches--main--components--jacobian
Action required
chore(main): release jacobian 0.13.0 Benchmarks #4172: Pull request #1451 synchronize by github-actions Bot
Action required release-please--branches--main--components--jacobian
release-please--branches--main--components--jacobian
Action required
Benchmarks Benchmarks #4171: by morluto
1m 0s main
main
1m 0s
Fix references to the moved agent evaluation guide Benchmarks #4170: Pull request #2029 opened by yuelgrace1810-ops
57s agent/fix-moved-agent-eval-doc
agent/fix-moved-agent-eval-doc
57s
Rank integer factorization for prime-power queries Benchmarks #4169: Pull request #2028 opened by yuelgrace1810-ops
35s agent/factorization-discovery-phrase
agent/factorization-discovery-phrase
35s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4168: Pull request #2027 labeled by morluto
36m 17s agent/quadratic-forms-1841
agent/quadratic-forms-1841
36m 17s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4167: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4166: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4164: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4165: Pull request #2027 labeled by morluto
2s agent/quadratic-forms-1841
agent/quadratic-forms-1841
2s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4163: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4162: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4161: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4160: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4159: Pull request #2027 labeled by morluto
1s agent/quadratic-forms-1841
agent/quadratic-forms-1841
1s
feat(math): add quadratic forms domain with evaluate, discriminant, signature (#1841) Benchmarks #4158: Pull request #2027 opened by morluto
13s agent/quadratic-forms-1841
agent/quadratic-forms-1841
13s
feat(math): add dual code and syndrome operations using SymPy (#1851) Benchmarks #4157: Pull request #2026 labeled by morluto
2s agent/coding-theory-1851
agent/coding-theory-1851
2s