Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

NemoCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nemo.yml
915 workflow runs
915 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

NemoCI NemoCI #924: Scheduled
October 31, 2024 03:18 14m 42s master
master
October 31, 2024 03:18 14m 42s
Tweak printing of Julia parent types NemoCI #923: Pull request #1883 synchronize by fingolfin
October 30, 2024 22:18 12m 46s mh/tweak-parent-printing
mh/tweak-parent-printing
October 30, 2024 22:18 12m 46s
Tweak printing of Julia parent types NemoCI #922: Pull request #1883 synchronize by fingolfin
October 30, 2024 22:17 58s mh/tweak-parent-printing
mh/tweak-parent-printing
October 30, 2024 22:17 58s
Make matrix(R::Ring, arr::AbstractMatrix) more useful (#1887) NemoCI #921: Commit f90e000 pushed by fingolfin
October 30, 2024 22:09 13m 44s master
master
October 30, 2024 22:09 13m 44s
Get rid of InteractiveUtils dependency (#1888) NemoCI #920: Commit fa132aa pushed by fingolfin
October 30, 2024 18:06 12m 51s master
master
October 30, 2024 18:06 12m 51s
Refactor polysubst.jl NemoCI #919: Pull request #1889 opened by lgoettgens
October 30, 2024 15:42 12m 35s lgoettgens:lg/polysubst-Nemo
lgoettgens:lg/polysubst-Nemo
October 30, 2024 15:42 12m 35s
Get rid of InteractiveUtils dependency NemoCI #918: Pull request #1888 opened by lgoettgens
October 30, 2024 15:13 12m 51s lgoettgens:lg/polysubst-trivial
lgoettgens:lg/polysubst-trivial
October 30, 2024 15:13 12m 51s
Make matrix(R::Ring, arr::AbstractMatrix) more useful NemoCI #917: Pull request #1887 opened by fingolfin
October 30, 2024 14:17 12m 45s mh/linalg-compat
mh/linalg-compat
October 30, 2024 14:17 12m 45s
Add ones for NCRing NemoCI #916: Pull request #1886 opened by fingolfin
October 30, 2024 13:38 13m 9s mh/ones
mh/ones
October 30, 2024 13:38 13m 9s
Add @show_name invocations NemoCI #915: Pull request #1885 opened by fingolfin
October 30, 2024 13:27 3m 45s fingolfin:mh/show_name
fingolfin:mh/show_name
October 30, 2024 13:27 3m 45s
Bump version to 0.43.9 (#1884) NemoCI #914: Commit 475eafc pushed by lgoettgens
October 30, 2024 12:32 12m 39s master
master
October 30, 2024 12:32 12m 39s
Add conformance tests for some adhoc operations (#1867) NemoCI #913: Commit e25bc98 pushed by lgoettgens
October 30, 2024 11:06 12m 35s master
master
October 30, 2024 11:06 12m 35s
Bump version to 0.43.9 NemoCI #912: Pull request #1884 opened by lgoettgens
October 30, 2024 09:29 12m 12s lgoettgens:lg/0.43.9
lgoettgens:lg/0.43.9
October 30, 2024 09:29 12m 12s
Add conformance tests for some adhoc operations NemoCI #911: Pull request #1867 synchronize by fingolfin
October 30, 2024 08:06 32m 2s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 30, 2024 08:06 32m 2s
Tweak printing of Julia parent types NemoCI #910: Pull request #1883 opened by fingolfin
October 30, 2024 08:06 33m 54s mh/tweak-parent-printing
mh/tweak-parent-printing
October 30, 2024 08:06 33m 54s
NemoCI NemoCI #909: Scheduled
October 30, 2024 03:17 12m 22s master
master
October 30, 2024 03:17 12m 22s
Bump version to 0.43.8 (#1882) NemoCI #908: Commit f137e0a pushed by lgoettgens
October 29, 2024 20:29 12m 31s master
master
October 29, 2024 20:29 12m 31s
Fix UnivPoly adhoc subtraction (#1881) NemoCI #907: Commit 45bd09a pushed by lgoettgens
October 29, 2024 20:01 12m 48s master
master
October 29, 2024 20:01 12m 48s
Bump version to 0.43.8 NemoCI #906: Pull request #1882 opened by lgoettgens
October 29, 2024 14:04 12m 18s lgoettgens:lg/0.43.8
lgoettgens:lg/0.43.8
October 29, 2024 14:04 12m 18s
Fix UnivPoly adhoc subtraction NemoCI #905: Pull request #1881 opened by lgoettgens
October 29, 2024 14:03 12m 22s lgoettgens:lg/univpoly-sub
lgoettgens:lg/univpoly-sub
October 29, 2024 14:03 12m 22s
Add conformance tests for some adhoc operations NemoCI #904: Pull request #1867 reopened by lgoettgens
October 29, 2024 13:56 12m 52s mh/conformance-test-adhoc
mh/conformance-test-adhoc
October 29, 2024 13:56 12m 52s
Some enhacements to is_loaded_directly (#1880) NemoCI #903: Commit 193e1b8 pushed by lgoettgens
October 29, 2024 12:56 12m 15s master
master
October 29, 2024 12:56 12m 15s
Some enhacements to is_loaded_directly NemoCI #902: Pull request #1880 synchronize by lgoettgens
October 29, 2024 09:52 12m 53s lgoettgens:lg/banner
lgoettgens:lg/banner
October 29, 2024 09:52 12m 53s
NemoCI NemoCI #901: Scheduled
October 29, 2024 03:18 12m 22s master
master
October 29, 2024 03:18 12m 22s
Some enhacements to is_loaded_directly NemoCI #900: Pull request #1880 synchronize by lgoettgens
October 28, 2024 17:06 12m 50s lgoettgens:lg/banner
lgoettgens:lg/banner
October 28, 2024 17:06 12m 50s