Skip to content

Actions: Nemocas/Nemo.jl

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
1,324 workflow runs
1,324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace many @aliases by @deprecate_binding Run tests #1821: Pull request #1557 synchronize by fingolfin
October 31, 2023 00:10 18m 20s fingolfin:mh/deprecate_binding
fingolfin:mh/deprecate_binding
October 31, 2023 00:10 18m 20s
Update FLINT_jll Run tests #1820: Pull request #1568 opened by albinahlback
October 30, 2023 20:38 27m 26s albinahlback:flint3
albinahlback:flint3
October 30, 2023 20:38 27m 26s
Edit lll docstrings Run tests #1819: Pull request #1566 synchronize by joschmitt
October 30, 2023 15:42 17m 38s joschmitt:lll
joschmitt:lll
October 30, 2023 15:42 17m 38s
Edit lll docstrings Run tests #1818: Pull request #1566 opened by joschmitt
October 30, 2023 15:16 16m 35s joschmitt:lll
joschmitt:lll
October 30, 2023 15:16 16m 35s
Fix ZZMatrix modular reduction (issue #2947) (#1564) Run tests #1817: Commit 978dd47 pushed by thofma
October 27, 2023 12:36 15m 20s master
master
October 27, 2023 12:36 15m 20s
Fix ZZMatrix modular reduction (issue #2947) Run tests #1816: Pull request #1564 opened by JohnAAbbott
October 27, 2023 09:26 17m 42s master
master
October 27, 2023 09:26 17m 42s
Remove extra empty line at end of Nemo banner (#1563) Run tests #1815: Commit 89b14ca pushed by thofma
October 27, 2023 05:53 14m 57s master
master
October 27, 2023 05:53 14m 57s
Move some stuff into more appropriate places (#1562) Run tests #1814: Commit 89ba431 pushed by thofma
October 27, 2023 05:53 15m 59s master
master
October 27, 2023 05:53 15m 59s
Remove extra empty line at end of Nemo banner Run tests #1813: Pull request #1563 opened by fingolfin
October 26, 2023 09:56 14m 50s fingolfin:mh/banner
fingolfin:mh/banner
October 26, 2023 09:56 14m 50s
Move some stuff into more appropriate places Run tests #1812: Pull request #1562 opened by fingolfin
October 26, 2023 09:54 16m 20s fingolfin:mh/move
fingolfin:mh/move
October 26, 2023 09:54 16m 20s
Bump to 0.37.2 (#1560) Run tests #1811: Commit fc0d071 pushed by thofma
October 20, 2023 05:05 16m 38s v0.37.2
v0.37.2
October 20, 2023 05:05 16m 38s
Bump to 0.37.2 (#1560) Run tests #1810: Commit fc0d071 pushed by thofma
October 20, 2023 04:47 14m 43s master
master
October 20, 2023 04:47 14m 43s
Restrict round signature to avoid ambiguities, and add adhoc comparis… Run tests #1809: Commit 5778356 pushed by thofma
October 20, 2023 04:46 13m 52s master
master
October 20, 2023 04:46 13m 52s
Bump to 0.37.2 Run tests #1808: Pull request #1560 opened by thofma
October 19, 2023 16:14 14m 29s thofma-patch-1
thofma-patch-1
October 19, 2023 16:14 14m 29s
Added more convencience methods for arithmetics with Vector{QQFieldEl… Run tests #1807: Commit f2e3115 pushed by thofma
October 19, 2023 16:12 14m 7s master
master
October 19, 2023 16:12 14m 7s
Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T} Run tests #1806: Pull request #1558 synchronize by fingolfin
October 19, 2023 15:49 17m 16s fingolfin:mh/round-ambiguity
fingolfin:mh/round-ambiguity
October 19, 2023 15:49 17m 16s
Added more convencience methods for arithmetics with Vector{QQFieldElem} Run tests #1805: Pull request #1559 synchronize by YueRen
October 19, 2023 12:59 18m 7s YueRen:patch-2
YueRen:patch-2
October 19, 2023 12:59 18m 7s
Added more convencience methods for arithmetics with Vector{QQFieldElem} Run tests #1804: Pull request #1559 synchronize by YueRen
October 19, 2023 12:45 5m 47s YueRen:patch-2
YueRen:patch-2
October 19, 2023 12:45 5m 47s
Added more convencience methods for arithmetics with Vector{QQFieldElem} Run tests #1803: Pull request #1559 opened by YueRen
October 19, 2023 12:40 2m 55s YueRen:patch-2
YueRen:patch-2
October 19, 2023 12:40 2m 55s
Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T} Run tests #1802: Pull request #1558 synchronize by fingolfin
October 18, 2023 23:54 14m 45s fingolfin:mh/round-ambiguity
fingolfin:mh/round-ambiguity
October 18, 2023 23:54 14m 45s
Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T} Run tests #1801: Pull request #1558 synchronize by fingolfin
October 18, 2023 21:15 16m 48s fingolfin:mh/round-ambiguity
fingolfin:mh/round-ambiguity
October 18, 2023 21:15 16m 48s
Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T} Run tests #1800: Pull request #1558 opened by fingolfin
October 18, 2023 21:02 12m 17s fingolfin:mh/round-ambiguity
fingolfin:mh/round-ambiguity
October 18, 2023 21:02 12m 17s
Replace many @aliases by @deprecate_binding Run tests #1799: Pull request #1557 synchronize by fingolfin
October 18, 2023 20:23 19m 14s fingolfin:mh/deprecate_binding
fingolfin:mh/deprecate_binding
October 18, 2023 20:23 19m 14s
Replace many @aliases by @deprecate_binding Run tests #1798: Pull request #1557 synchronize by fingolfin
October 18, 2023 20:18 4m 51s fingolfin:mh/deprecate_binding
fingolfin:mh/deprecate_binding
October 18, 2023 20:18 4m 51s
Replace many @aliases by @deprecate_binding Run tests #1797: Pull request #1557 synchronize by fingolfin
October 18, 2023 13:10 3m 43s fingolfin:mh/deprecate_binding
fingolfin:mh/deprecate_binding
October 18, 2023 13:10 3m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-10-18 or the other filters available.