Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
1,655 workflow runs
1,655 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use GC.enable_logging(true) at start of test suite OscarCI #1348: Pull request #1432 opened by fingolfin
September 13, 2023 00:28 55m 48s mh/HACK-gc-logging
mh/HACK-gc-logging
September 13, 2023 00:28 55m 48s
Add docstrings for various map construction functions OscarCI #1347: Pull request #1431 opened by fingolfin
September 13, 2023 00:19 27m 2s fingolfin:mh/map_docs
fingolfin:mh/map_docs
September 13, 2023 00:19 27m 2s
Add is_lower_triangular, tweak is_upper_triangular OscarCI #1346: Pull request #1430 opened by fingolfin
September 12, 2023 23:55 1h 17m 45s mh/is_upper_lower_triangular
mh/is_upper_lower_triangular
September 12, 2023 23:55 1h 17m 45s
Move diagonal_matrix methods from NemoStuff.jl to Matrix.jl OscarCI #1345: Pull request #1429 opened by fingolfin
September 12, 2023 23:20 25m 23s mh/diagonal_matrix
mh/diagonal_matrix
September 12, 2023 23:20 25m 23s
Remove redundant AbstractAlgebra OscarCI #1344: Pull request #1428 opened by fingolfin
September 12, 2023 23:18 5m 3s mh/remove_redundant_AbstractAlgebra
mh/remove_redundant_AbstractAlgebra
September 12, 2023 23:18 5m 3s
Tweak is_symmetric and is_skew_symmetric OscarCI #1343: Pull request #1427 opened by fingolfin
September 12, 2023 23:05 27m 47s mh/is_symmetric
mh/is_symmetric
September 12, 2023 23:05 27m 47s
Add more base_ring_type methods OscarCI #1342: Pull request #1426 opened by fingolfin
September 12, 2023 22:49 31m 5s mh/base_ring_type
mh/base_ring_type
September 12, 2023 22:49 31m 5s
Add WeakKeyIdDict (#1419) OscarCI #1341: Commit c390a51 pushed by fingolfin
September 12, 2023 22:19 1h 14m 44s master
master
September 12, 2023 22:19 1h 14m 44s
Adjustments for is_negative and is_positive OscarCI #1340: Pull request #1425 opened by fingolfin
September 12, 2023 21:11 1h 3m 21s mh/is_positive
mh/is_positive
September 12, 2023 21:11 1h 3m 21s
Add WeakKeyIdDict OscarCI #1339: Pull request #1419 synchronize by fingolfin
September 12, 2023 20:57 38m 31s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 20:57 38m 31s
Add WeakKeyIdDict OscarCI #1338: Pull request #1419 synchronize by fingolfin
September 12, 2023 20:12 38m 48s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 20:12 38m 48s
pretty printing for maps OscarCI #1337: Pull request #1424 synchronize by simonbrandhorst
September 12, 2023 20:03 38m 55s simonbrandhorst:sb/pretty_print_map
simonbrandhorst:sb/pretty_print_map
September 12, 2023 20:03 38m 55s
pretty printing for maps OscarCI #1336: Pull request #1424 opened by simonbrandhorst
September 12, 2023 19:04 42m 47s simonbrandhorst:sb/pretty_print_map
simonbrandhorst:sb/pretty_print_map
September 12, 2023 19:04 42m 47s
Remove error_dim_negative OscarCI #1335: Pull request #1410 reopened by fingolfin
September 12, 2023 16:46 19m 17s fingolfin:mh/error_dim_negative
fingolfin:mh/error_dim_negative
September 12, 2023 16:46 19m 17s
Extend more functionality to NCRing (#1423) OscarCI #1334: Commit 11626c5 pushed by fingolfin
September 12, 2023 16:44 50m 25s master
master
September 12, 2023 16:44 50m 25s
Extend more functionality to NCRing OscarCI #1333: Pull request #1423 opened by lgoettgens
September 12, 2023 13:49 3m 59s lgoettgens:lg/NCRing-stuff
lgoettgens:lg/NCRing-stuff
September 12, 2023 13:49 3m 59s
Move pirated stuff from Nemo (#1412) OscarCI #1332: Commit 723898c pushed by fingolfin
September 12, 2023 13:04 4m 28s master
master
September 12, 2023 13:04 4m 28s
Add WeakKeyIdDict OscarCI #1331: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:11 2h 16m 52s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:11 2h 16m 52s
Add WeakKeyIdDict OscarCI #1330: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:05 5m 46s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:05 5m 46s
Widen zeros to NCRing (#1422) OscarCI #1329: Commit 860e85c pushed by thofma
September 12, 2023 09:46 2h 32m 0s master
master
September 12, 2023 09:46 2h 32m 0s
Move pirated stuff from Nemo OscarCI #1328: Pull request #1412 synchronize by lgoettgens
September 12, 2023 09:43 4m 2s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 12, 2023 09:43 4m 2s
Add WeakKeyIdDict OscarCI #1327: Pull request #1419 synchronize by fingolfin
September 12, 2023 06:56 2h 40m 45s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 06:56 2h 40m 45s
Widen zeros to NCRing OscarCI #1326: Pull request #1422 opened by lgoettgens
September 11, 2023 14:15 2h 54m 47s lgoettgens:lg/patch-1
lgoettgens:lg/patch-1
September 11, 2023 14:15 2h 54m 47s
Move pirated stuff from Nemo OscarCI #1325: Pull request #1412 synchronize by lgoettgens
September 11, 2023 13:39 3h 2m 13s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 11, 2023 13:39 3h 2m 13s
Move pirated stuff from Nemo OscarCI #1324: Pull request #1412 reopened by lgoettgens
September 11, 2023 13:38 1m 3s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 11, 2023 13:38 1m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-09-11 or the other filters available.