Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hecke.yml
876 workflow runs
876 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve adhoc arithmetic for UnivPoly HeckeCI #885: Pull request #1877 synchronize by fingolfin
October 24, 2024 10:32 41m 37s mh/univpol-adhoc-arith
mh/univpol-adhoc-arith
October 24, 2024 10:32 41m 37s
HeckeCI HeckeCI #884: Scheduled
October 24, 2024 03:15 42m 25s master
master
October 24, 2024 03:15 42m 25s
Replace some custom checks by check_parent (#1874) HeckeCI #883: Commit 776c54c pushed by joschmitt
October 23, 2024 13:46 44m 8s master
master
October 23, 2024 13:46 44m 8s
Delete redundant isequal method (#1875) HeckeCI #882: Commit dd1639b pushed by joschmitt
October 23, 2024 13:46 43m 17s master
master
October 23, 2024 13:46 43m 17s
HeckeCI HeckeCI #881: Scheduled
October 23, 2024 03:15 41m 30s master
master
October 23, 2024 03:15 41m 30s
CI: stop testing against Julia 1.9 (#1878) HeckeCI #880: Commit b02dca9 pushed by lgoettgens
October 22, 2024 09:34 43m 35s master
master
October 22, 2024 09:34 43m 35s
Improve adhoc arithmetic for UnivPoly HeckeCI #879: Pull request #1877 synchronize by fingolfin
October 22, 2024 07:50 42m 18s mh/univpol-adhoc-arith
mh/univpol-adhoc-arith
October 22, 2024 07:50 42m 18s
Improve adhoc arithmetic for UnivPoly HeckeCI #878: Pull request #1877 synchronize by fingolfin
October 22, 2024 06:38 43m 12s mh/univpol-adhoc-arith
mh/univpol-adhoc-arith
October 22, 2024 06:38 43m 12s
CI: stop testing against Julia 1.9 HeckeCI #877: Pull request #1878 opened by fingolfin
October 22, 2024 06:34 44m 18s mh/CI
mh/CI
October 22, 2024 06:34 44m 18s
HeckeCI HeckeCI #876: Scheduled
October 22, 2024 03:15 42m 4s master
master
October 22, 2024 03:15 42m 4s
Improve adhoc arithmetic for UnivPoly HeckeCI #875: Pull request #1877 synchronize by lgoettgens
October 21, 2024 16:24 44m 23s mh/univpol-adhoc-arith
mh/univpol-adhoc-arith
October 21, 2024 16:24 44m 23s
Improve adhoc arithmetic for UnivPoly HeckeCI #874: Pull request #1877 synchronize by lgoettgens
October 21, 2024 14:56 43m 19s mh/univpol-adhoc-arith
mh/univpol-adhoc-arith
October 21, 2024 14:56 43m 19s
HeckeCI HeckeCI #873: Scheduled
October 21, 2024 03:17 42m 15s master
master
October 21, 2024 03:17 42m 15s
Improve adhoc arithmetic for UnivPoly HeckeCI #872: Pull request #1877 opened by fingolfin
October 20, 2024 21:48 49m 38s mh/univpol-adhoc-arith
mh/univpol-adhoc-arith
October 20, 2024 21:48 49m 38s
Add conformance tests for some adhoc operations HeckeCI #871: Pull request #1867 synchronize by fingolfin
October 20, 2024 21:26 42m 31s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 20, 2024 21:26 42m 31s
Add conformance tests for some adhoc operations HeckeCI #870: Pull request #1867 synchronize by fingolfin
October 20, 2024 21:25 1m 7s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 20, 2024 21:25 1m 7s
julia/Float: x == 0 -> iszero(x) (#1870) HeckeCI #869: Commit f6868d0 pushed by fingolfin
October 20, 2024 21:02 42m 11s master
master
October 20, 2024 21:02 42m 11s
More helpful error for diagonal_matrix (#1876) HeckeCI #868: Commit cc5db52 pushed by fingolfin
October 20, 2024 21:01 42m 12s master
master
October 20, 2024 21:01 42m 12s
More helpful error for diagonal_matrix HeckeCI #867: Pull request #1876 opened by joschmitt
October 20, 2024 12:30 43m 22s joschmitt:js/diag
joschmitt:js/diag
October 20, 2024 12:30 43m 22s
HeckeCI HeckeCI #866: Scheduled
October 20, 2024 03:17 41m 50s master
master
October 20, 2024 03:17 41m 50s
HeckeCI HeckeCI #865: Scheduled
October 19, 2024 03:15 41m 46s master
master
October 19, 2024 03:15 41m 46s
julia/Integer: x == 0 -> iszero(x) (#1871) HeckeCI #864: Commit ca2faf2 pushed by fingolfin
October 18, 2024 16:37 42m 3s master
master
October 18, 2024 16:37 42m 3s
algorithms/GenericFunctions: x == 0 -> iszero(x) (#1869) HeckeCI #863: Commit 8a5d2d2 pushed by fingolfin
October 18, 2024 16:13 49m 4s master
master
October 18, 2024 16:13 49m 4s
Delete redundant isequal method HeckeCI #862: Pull request #1875 opened by fingolfin
October 18, 2024 15:05 52m 31s mh/rm-redundant-isequal
mh/rm-redundant-isequal
October 18, 2024 15:05 52m 31s
Replace some custom checks by check_parent HeckeCI #861: Pull request #1874 opened by fingolfin
October 18, 2024 15:04 42m 30s mh/parent-checks
mh/parent-checks
October 18, 2024 15:04 42m 30s