Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hecke.yml
1,000 workflow runs
1,000 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version to 0.43.8 (#1882) HeckeCI #909: Commit f137e0a pushed by lgoettgens
October 29, 2024 20:29 43m 34s master
master
October 29, 2024 20:29 43m 34s
Fix UnivPoly adhoc subtraction (#1881) HeckeCI #908: Commit 45bd09a pushed by lgoettgens
October 29, 2024 20:01 42m 50s master
master
October 29, 2024 20:01 42m 50s
Bump version to 0.43.8 HeckeCI #907: Pull request #1882 opened by lgoettgens
October 29, 2024 14:04 43m 48s lgoettgens:lg/0.43.8
lgoettgens:lg/0.43.8
October 29, 2024 14:04 43m 48s
Fix UnivPoly adhoc subtraction HeckeCI #906: Pull request #1881 opened by lgoettgens
October 29, 2024 14:03 42m 14s lgoettgens:lg/univpoly-sub
lgoettgens:lg/univpoly-sub
October 29, 2024 14:03 42m 14s
Add conformance tests for some adhoc operations HeckeCI #905: Pull request #1867 reopened by lgoettgens
October 29, 2024 13:56 44m 10s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 29, 2024 13:56 44m 10s
Some enhacements to is_loaded_directly (#1880) HeckeCI #904: Commit 193e1b8 pushed by lgoettgens
October 29, 2024 12:56 46m 15s master
master
October 29, 2024 12:56 46m 15s
Some enhacements to is_loaded_directly HeckeCI #903: Pull request #1880 synchronize by lgoettgens
October 29, 2024 09:52 43m 52s lgoettgens:lg/banner
lgoettgens:lg/banner
October 29, 2024 09:52 43m 52s
HeckeCI HeckeCI #902: Scheduled
October 29, 2024 03:15 42m 46s master
master
October 29, 2024 03:15 42m 46s
Some enhacements to is_loaded_directly HeckeCI #901: Pull request #1880 synchronize by lgoettgens
October 28, 2024 17:06 44m 26s lgoettgens:lg/banner
lgoettgens:lg/banner
October 28, 2024 17:06 44m 26s
Some enhacements to is_loaded_directly HeckeCI #900: Pull request #1880 synchronize by lgoettgens
October 28, 2024 16:56 10m 3s lgoettgens:lg/banner
lgoettgens:lg/banner
October 28, 2024 16:56 10m 3s
Some enhacements to is_loaded_directly HeckeCI #899: Pull request #1880 synchronize by lgoettgens
October 28, 2024 16:48 8m 44s lgoettgens:lg/banner
lgoettgens:lg/banner
October 28, 2024 16:48 8m 44s
Some enhacements to is_loaded_directly HeckeCI #898: Pull request #1880 synchronize by lgoettgens
October 28, 2024 14:59 43m 2s lgoettgens:lg/banner
lgoettgens:lg/banner
October 28, 2024 14:59 43m 2s
Some enhacements to is_loaded_directly HeckeCI #897: Pull request #1880 synchronize by lgoettgens
October 28, 2024 14:54 5m 16s lgoettgens:lg/banner
lgoettgens:lg/banner
October 28, 2024 14:54 5m 16s
Some enhacements to is_loaded_directly HeckeCI #896: Pull request #1880 opened by lgoettgens
October 28, 2024 14:36 18m 35s lgoettgens:lg/banner
lgoettgens:lg/banner
October 28, 2024 14:36 18m 35s
Add conformance tests for some adhoc operations HeckeCI #895: Pull request #1867 synchronize by fingolfin
October 28, 2024 11:44 42m 22s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 28, 2024 11:44 42m 22s
HeckeCI HeckeCI #894: Scheduled
October 28, 2024 03:17 42m 56s master
master
October 28, 2024 03:17 42m 56s
Add conformance tests for some adhoc operations HeckeCI #893: Pull request #1867 synchronize by fingolfin
October 27, 2024 20:47 41m 47s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 27, 2024 20:47 41m 47s
HeckeCI HeckeCI #892: Scheduled
October 27, 2024 03:16 45m 54s master
master
October 27, 2024 03:16 45m 54s
Add conformance tests for some adhoc operations HeckeCI #891: Pull request #1867 synchronize by fingolfin
October 27, 2024 00:29 41m 28s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 27, 2024 00:29 41m 28s
Improve adhoc arithmetic for UnivPoly, fix broken coeff method (#1877) HeckeCI #890: Commit 814f22b pushed by fingolfin
October 27, 2024 00:28 44m 5s master
master
October 27, 2024 00:28 44m 5s
Require one-based indexing in _check_dim (#1879) HeckeCI #889: Commit 129efd6 pushed by fingolfin
October 27, 2024 00:23 42m 51s master
master
October 27, 2024 00:23 42m 51s
HeckeCI HeckeCI #888: Scheduled
October 26, 2024 03:14 42m 49s master
master
October 26, 2024 03:14 42m 49s
Require one-based indexing in _check_dim HeckeCI #887: Pull request #1879 opened by lgoettgens
October 25, 2024 09:10 44m 21s lgoettgens:lg/require_one_based_indexing
lgoettgens:lg/require_one_based_indexing
October 25, 2024 09:10 44m 21s
HeckeCI HeckeCI #886: Scheduled
October 25, 2024 03:15 42m 16s master
master
October 25, 2024 03:15 42m 16s
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