Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Invalidations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
568 workflow run results
568 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move diagonal_matrix methods from NemoStuff.jl to Matrix.jl
Invalidations #114: Pull request #1429 synchronize by fingolfin
September 13, 2023 07:54 4m 10s mh/diagonal_matrix
September 13, 2023 07:54 4m 10s
Tweak is_symmetric and is_skew_symmetric
Invalidations #113: Pull request #1427 synchronize by fingolfin
September 13, 2023 07:50 4m 6s mh/is_symmetric
September 13, 2023 07:50 4m 6s
pretty printing for maps
Invalidations #112: Pull request #1424 synchronize by simonbrandhorst
September 13, 2023 06:47 4m 19s simonbrandhorst:sb/pretty_print_map
September 13, 2023 06:47 4m 19s
pretty printing for maps
Invalidations #111: Pull request #1424 synchronize by simonbrandhorst
September 13, 2023 06:44 3m 15s simonbrandhorst:sb/pretty_print_map
September 13, 2023 06:44 3m 15s
Use GC.enable_logging(true) at start of test suite
Invalidations #110: Pull request #1432 opened by fingolfin
September 13, 2023 00:28 4m 57s mh/HACK-gc-logging
September 13, 2023 00:28 4m 57s
Add docstrings for various map construction functions
Invalidations #109: Pull request #1431 opened by fingolfin
September 13, 2023 00:19 4m 21s fingolfin:mh/map_docs
September 13, 2023 00:19 4m 21s
Add is_lower_triangular, tweak is_upper_triangular
Invalidations #108: Pull request #1430 opened by fingolfin
September 12, 2023 23:55 4m 49s mh/is_upper_lower_triangular
September 12, 2023 23:55 4m 49s
Move diagonal_matrix methods from NemoStuff.jl to Matrix.jl
Invalidations #107: Pull request #1429 opened by fingolfin
September 12, 2023 23:20 5m 53s mh/diagonal_matrix
September 12, 2023 23:20 5m 53s
Remove redundant AbstractAlgebra
Invalidations #106: Pull request #1428 opened by fingolfin
September 12, 2023 23:18 4m 11s mh/remove_redundant_AbstractAlgebra
September 12, 2023 23:18 4m 11s
Tweak is_symmetric and is_skew_symmetric
Invalidations #105: Pull request #1427 opened by fingolfin
September 12, 2023 23:05 5m 31s mh/is_symmetric
September 12, 2023 23:05 5m 31s
Add more base_ring_type methods
Invalidations #104: Pull request #1426 opened by fingolfin
September 12, 2023 22:49 6m 20s mh/base_ring_type
September 12, 2023 22:49 6m 20s
Adjustments for is_negative and is_positive
Invalidations #103: Pull request #1425 opened by fingolfin
September 12, 2023 21:11 5m 19s mh/is_positive
September 12, 2023 21:11 5m 19s
Add WeakKeyIdDict
Invalidations #102: Pull request #1419 synchronize by fingolfin
September 12, 2023 20:57 5m 46s mh/WeakKeyIdDict
September 12, 2023 20:57 5m 46s
Add WeakKeyIdDict
Invalidations #101: Pull request #1419 synchronize by fingolfin
September 12, 2023 20:12 5m 11s mh/WeakKeyIdDict
September 12, 2023 20:12 5m 11s
pretty printing for maps
Invalidations #100: Pull request #1424 synchronize by simonbrandhorst
September 12, 2023 20:03 4m 29s simonbrandhorst:sb/pretty_print_map
September 12, 2023 20:03 4m 29s
pretty printing for maps
Invalidations #99: Pull request #1424 opened by simonbrandhorst
September 12, 2023 19:04 4m 53s simonbrandhorst:sb/pretty_print_map
September 12, 2023 19:04 4m 53s
Remove error_dim_negative
Invalidations #98: Pull request #1410 reopened by fingolfin
September 12, 2023 16:46 6m 25s fingolfin:mh/error_dim_negative
September 12, 2023 16:46 6m 25s
Extend more functionality to NCRing
Invalidations #97: Pull request #1423 opened by lgoettgens
September 12, 2023 13:49 4m 9s lgoettgens:lg/NCRing-stuff
September 12, 2023 13:49 4m 9s
Add WeakKeyIdDict
Invalidations #96: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:11 6m 7s mh/WeakKeyIdDict
September 12, 2023 10:11 6m 7s
Add WeakKeyIdDict
Invalidations #95: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:05 5m 48s mh/WeakKeyIdDict
September 12, 2023 10:05 5m 48s
Move pirated stuff from Nemo
Invalidations #94: Pull request #1412 synchronize by lgoettgens
September 12, 2023 09:43 4m 46s lgoettgens:lg/nemo-piracy
September 12, 2023 09:43 4m 46s
Add WeakKeyIdDict
Invalidations #93: Pull request #1419 synchronize by fingolfin
September 12, 2023 06:56 5m 35s mh/WeakKeyIdDict
September 12, 2023 06:56 5m 35s
Widen zeros to NCRing
Invalidations #92: Pull request #1422 opened by lgoettgens
September 11, 2023 14:15 6m 58s lgoettgens:lg/patch-1
September 11, 2023 14:15 6m 58s
Move pirated stuff from Nemo
Invalidations #91: Pull request #1412 synchronize by lgoettgens
September 11, 2023 13:39 5m 22s lgoettgens:lg/nemo-piracy
September 11, 2023 13:39 5m 22s
Move pirated stuff from Nemo
Invalidations #90: Pull request #1412 reopened by lgoettgens
September 11, 2023 13:38 1m 3s 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.