Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hecke.yml
1,306 workflow runs
1,306 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Uniform base_ring_type method HeckeCI #256: Pull request #1676 synchronize by fingolfin
April 24, 2024 13:20 1h 6m 54s fingolfin:mh/base_ring_type
fingolfin:mh/base_ring_type
April 24, 2024 13:20 1h 6m 54s
Uniform base_ring_type method HeckeCI #255: Pull request #1676 synchronize by fingolfin
April 24, 2024 13:12 8m 37s fingolfin:mh/base_ring_type
fingolfin:mh/base_ring_type
April 24, 2024 13:12 8m 37s
chore: bump to 0.41.0-DEV HeckeCI #254: Pull request #1681 opened by fingolfin
April 24, 2024 13:01 2m 6s mh/0.41
mh/0.41
April 24, 2024 13:01 2m 6s
Print base rings terse and starting with lowercase HeckeCI #253: Pull request #1680 synchronize by fingolfin
April 24, 2024 12:47 1h 3m 54s mh/compact-to-terse
mh/compact-to-terse
April 24, 2024 12:47 1h 3m 54s
Print base rings terse and starting with lowercase HeckeCI #252: Pull request #1680 opened by fingolfin
April 24, 2024 12:10 36m 31s mh/compact-to-terse
mh/compact-to-terse
April 24, 2024 12:10 36m 31s
Use @show_name, @show_special for all (?) parent show methods HeckeCI #251: Pull request #1671 reopened by lgoettgens
April 19, 2024 19:04 1h 17m 16s fingolfin:mh/show_name
fingolfin:mh/show_name
April 19, 2024 19:04 1h 17m 16s
Use @show_name, @show_special for all (?) parent show methods HeckeCI #250: Pull request #1671 synchronize by fingolfin
April 19, 2024 13:02 1h 7m 18s fingolfin:mh/show_name
fingolfin:mh/show_name
April 19, 2024 13:02 1h 7m 18s
Add terse and is_terse helpers, and use them (#1677) HeckeCI #249: Commit 58016e1 pushed by fingolfin
April 19, 2024 12:48 1h 5m 41s master
master
April 19, 2024 12:48 1h 5m 41s
Remove some internal functions (#1679) HeckeCI #248: Commit 5d5c1de pushed by fingolfin
April 19, 2024 12:46 1h 6m 50s master
master
April 19, 2024 12:46 1h 6m 50s
Remove some internal functions HeckeCI #247: Pull request #1679 synchronize by fingolfin
April 19, 2024 09:30 1h 14m 47s fingolfin:mh/rename-internal
fingolfin:mh/rename-internal
April 19, 2024 09:30 1h 14m 47s
Remove some internal functions HeckeCI #246: Pull request #1679 opened by fingolfin
April 19, 2024 09:17 13m 9s fingolfin:mh/rename-internal
fingolfin:mh/rename-internal
April 19, 2024 09:17 13m 9s
expressify: rename :terse -> :terse_level (#1678) HeckeCI #245: Commit 99ef240 pushed by fingolfin
April 19, 2024 09:16 1h 6m 12s master
master
April 19, 2024 09:16 1h 6m 12s
move code from Oscar.jl/experimental/GModule/Misc.jl here HeckeCI #244: Pull request #1675 synchronize by ThomasBreuer
April 19, 2024 08:25 1h 5m 46s ThomasBreuer:TB_move_from_oscar
ThomasBreuer:TB_move_from_oscar
April 19, 2024 08:25 1h 5m 46s
Add terse and is_terse helpers, and use them HeckeCI #243: Pull request #1677 synchronize by fingolfin
April 18, 2024 21:50 1h 4m 53s fingolfin:mh/terse
fingolfin:mh/terse
April 18, 2024 21:50 1h 4m 53s
expressify: rename :terse -> :terse_level HeckeCI #242: Pull request #1678 synchronize by fingolfin
April 18, 2024 21:49 1h 6m 25s fingolfin:mh/terse_level
fingolfin:mh/terse_level
April 18, 2024 21:49 1h 6m 25s
expressify: rename :terse -> :terse_level HeckeCI #241: Pull request #1678 opened by fingolfin
April 18, 2024 21:39 11m 1s fingolfin:mh/terse_level
fingolfin:mh/terse_level
April 18, 2024 21:39 11m 1s
Add terse and is_terse helpers, and use them HeckeCI #240: Pull request #1677 synchronize by fingolfin
April 18, 2024 16:35 1h 31m 1s fingolfin:mh/terse
fingolfin:mh/terse
April 18, 2024 16:35 1h 31m 1s
Add terse and is_terse helpers, and use them HeckeCI #239: Pull request #1677 synchronize by lgoettgens
April 18, 2024 15:34 1h 1m 55s fingolfin:mh/terse
fingolfin:mh/terse
April 18, 2024 15:34 1h 1m 55s
Add terse and is_terse helpers, and use them HeckeCI #238: Pull request #1677 synchronize by lgoettgens
April 18, 2024 14:47 47m 8s fingolfin:mh/terse
fingolfin:mh/terse
April 18, 2024 14:47 47m 8s
Add terse and is_terse helpers, and use them HeckeCI #237: Pull request #1677 opened by fingolfin
April 18, 2024 13:51 56m 23s fingolfin:mh/terse
fingolfin:mh/terse
April 18, 2024 13:51 56m 23s
move code from Oscar.jl/experimental/GModule/Misc.jl here HeckeCI #236: Pull request #1675 synchronize by ThomasBreuer
April 18, 2024 10:47 1h 7m 52s ThomasBreuer:TB_move_from_oscar
ThomasBreuer:TB_move_from_oscar
April 18, 2024 10:47 1h 7m 52s
Uniform base_ring_type method HeckeCI #235: Pull request #1676 opened by fingolfin
April 18, 2024 06:44 39m 4s fingolfin:mh/base_ring_type
fingolfin:mh/base_ring_type
April 18, 2024 06:44 39m 4s
Fix _is_attribute_storing_type (#1669) HeckeCI #234: Commit 795382d pushed by fingolfin
April 18, 2024 00:55 1h 5m 3s master
master
April 18, 2024 00:55 1h 5m 3s
doc: fix get_name indentation (#1674) HeckeCI #233: Commit 11cbec3 pushed by fingolfin
April 17, 2024 16:15 1h 27m 39s master
master
April 17, 2024 16:15 1h 27m 39s
Make yet more parent types attribute storing (#1673) HeckeCI #232: Commit 28e0ef7 pushed by fingolfin
April 17, 2024 16:15 1h 7m 12s master
master
April 17, 2024 16:15 1h 7m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-04-17 or the other filters available.