Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

NemoCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nemo.yml
1,028 workflow runs
1,028 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

NemoCI NemoCI #1037: Scheduled
November 27, 2024 03:22 14m 49s master
master
November 27, 2024 03:22 14m 49s
docs: Generic.ResidueRing -> Generic.EuclideanRingResidueRing NemoCI #1036: Pull request #1913 opened by fingolfin
November 26, 2024 15:06 15m 6s mh/ResidueRingElem
mh/ResidueRingElem
November 26, 2024 15:06 15m 6s
fix: multivariate polynomial rings over zero rings NemoCI #1035: Pull request #1910 reopened by thofma
November 26, 2024 15:06 13m 41s th/mpolyzero
th/mpolyzero
November 26, 2024 15:06 13m 41s
fix: multivariate polynomial rings over zero rings NemoCI #1034: Pull request #1910 synchronize by thofma
November 26, 2024 08:35 14m 11s th/mpolyzero
th/mpolyzero
November 26, 2024 08:35 14m 11s
Add implication: integral domains are not trivial (#1912) NemoCI #1033: Commit c062cc1 pushed by thofma
November 26, 2024 08:34 13m 53s master
master
November 26, 2024 08:34 13m 53s
fix: univariate polynomial rings over zero rings (#1911) NemoCI #1032: Commit 957bd7a pushed by thofma
November 26, 2024 08:33 13m 27s master
master
November 26, 2024 08:33 13m 27s
NemoCI NemoCI #1031: Scheduled
November 26, 2024 03:21 13m 49s master
master
November 26, 2024 03:21 13m 49s
fix: multivariate polynomial rings over zero rings NemoCI #1030: Pull request #1910 synchronize by thofma
November 25, 2024 20:01 15m 16s th/mpolyzero
th/mpolyzero
November 25, 2024 20:01 15m 16s
fix: univariate polynomial rings over zero rings NemoCI #1029: Pull request #1911 synchronize by thofma
November 25, 2024 20:01 15m 2s th/polyzero
th/polyzero
November 25, 2024 20:01 15m 2s
fix: univariate polynomial rings over zero rings NemoCI #1028: Pull request #1911 synchronize by thofma
November 25, 2024 19:59 2m 48s th/polyzero
th/polyzero
November 25, 2024 19:59 2m 48s
Add implication: integral domains are not trivial NemoCI #1027: Pull request #1912 synchronize by fingolfin
November 25, 2024 11:45 14m 5s mh/domains-are-not-trivial
mh/domains-are-not-trivial
November 25, 2024 11:45 14m 5s
Add implication: integral domains are not trivial NemoCI #1026: Pull request #1912 opened by fingolfin
November 25, 2024 11:42 3m 3s mh/domains-are-not-trivial
mh/domains-are-not-trivial
November 25, 2024 11:42 3m 3s
NemoCI NemoCI #1025: Scheduled
November 25, 2024 03:22 13m 39s master
master
November 25, 2024 03:22 13m 39s
fix: univariate polynomial rings over zero rings NemoCI #1024: Pull request #1911 synchronize by thofma
November 24, 2024 11:46 13m 46s th/polyzero
th/polyzero
November 24, 2024 11:46 13m 46s
fix: univariate polynomial rings over zero rings NemoCI #1023: Pull request #1911 opened by thofma
November 24, 2024 11:21 14m 52s th/polyzero
th/polyzero
November 24, 2024 11:21 14m 52s
fix: multivariate polynomial rings over zero rings NemoCI #1022: Pull request #1910 opened by thofma
November 24, 2024 11:00 14m 11s th/mpolyzero
th/mpolyzero
November 24, 2024 11:00 14m 11s
NemoCI NemoCI #1021: Scheduled
November 24, 2024 03:22 14m 16s master
master
November 24, 2024 03:22 14m 16s
NemoCI NemoCI #1020: Scheduled
November 23, 2024 03:18 14m 30s master
master
November 23, 2024 03:18 14m 30s
Change similar, zero_matrix, ones_matrix to use UndefInitializer constructors NemoCI #1019: Pull request #1909 synchronize by fingolfin
November 22, 2024 09:16 12m 40s fingolfin:mh/similar-undef
fingolfin:mh/similar-undef
November 22, 2024 09:16 12m 40s
Change similar, zero_matrix, ones_matrix to use UndefInitializer constructors NemoCI #1018: Pull request #1909 synchronize by fingolfin
November 22, 2024 09:07 9m 37s fingolfin:mh/similar-undef
fingolfin:mh/similar-undef
November 22, 2024 09:07 9m 37s
Change similar, zero_matrix, ones_matrix to use UndefInitializer constructors NemoCI #1017: Pull request #1909 synchronize by fingolfin
November 22, 2024 09:04 3m 12s fingolfin:mh/similar-undef
fingolfin:mh/similar-undef
November 22, 2024 09:04 3m 12s
NemoCI NemoCI #1016: Scheduled
November 22, 2024 03:20 13m 21s master
master
November 22, 2024 03:20 13m 21s
Use DocMeta.setdocmeta with AbstractAlgebra.doctestsetup (#1908) NemoCI #1015: Commit 77591f4 pushed by lgoettgens
November 21, 2024 14:43 13m 42s master
master
November 21, 2024 14:43 13m 42s
Change similar, zero_matrix, ones_matrix to use UndefInitializer constructors NemoCI #1014: Pull request #1909 synchronize by fingolfin
November 21, 2024 10:07 14m 42s fingolfin:mh/similar-undef
fingolfin:mh/similar-undef
November 21, 2024 10:07 14m 42s
Change similar, zero_matrix, ones_matrix to use UndefInitializer constructors NemoCI #1013: Pull request #1909 synchronize by fingolfin
November 21, 2024 10:00 7m 11s fingolfin:mh/similar-undef
fingolfin:mh/similar-undef
November 21, 2024 10:00 7m 11s