Skip to content

Actions: joschmitt/AbstractAlgebra.jl

Actions

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hecke.yml
377 workflow runs
377 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
HeckeCI HeckeCI #596: Scheduled
1h 29m 5s master
master
1h 29m 5s
HeckeCI HeckeCI #595: Scheduled
1h 17m 11s master
master
1h 17m 11s
Bump codecov/codecov-action from 5 to 6 (#2388) HeckeCI #594: Commit 3355a14 pushed by joschmitt
59m 16s master
master
59m 16s
HeckeCI HeckeCI #593: Scheduled
1h 23m 22s master
master
1h 23m 22s
HeckeCI HeckeCI #592: Scheduled
1h 40m 42s master
master
1h 40m 42s
HeckeCI HeckeCI #591: Scheduled
1h 38m 14s master
master
1h 38m 14s
HeckeCI HeckeCI #590: Scheduled
1h 21m 48s master
master
1h 21m 48s
HeckeCI HeckeCI #589: Scheduled
1h 10m 44s master
master
1h 10m 44s
HeckeCI HeckeCI #588: Scheduled
1h 38m 50s master
master
1h 38m 50s
HeckeCI HeckeCI #587: Scheduled
1h 23m 39s master
master
1h 23m 39s
HeckeCI HeckeCI #586: Scheduled
1h 16m 58s master
master
1h 16m 58s
HeckeCI HeckeCI #585: Scheduled
1h 18m 48s master
master
1h 18m 48s
HeckeCI HeckeCI #584: Scheduled
1h 30m 22s master
master
1h 30m 22s
HeckeCI HeckeCI #583: Scheduled
1h 11m 28s master
master
1h 11m 28s
Fix promotion in example implementation of the Ring interface (#2382) HeckeCI #582: Commit cd7aa19 pushed by joschmitt
1h 2m 37s master
master
1h 2m 37s
HeckeCI HeckeCI #581: Scheduled
1h 2m 48s master
master
1h 2m 48s
HeckeCI HeckeCI #580: Scheduled
1h 44m 46s master
master
1h 44m 46s
HeckeCI HeckeCI #579: Scheduled
1h 15m 59s master
master
1h 15m 59s
HeckeCI HeckeCI #578: Scheduled
1h 29m 44s master
master
1h 29m 44s
HeckeCI HeckeCI #577: Scheduled
1h 20m 11s master
master
1h 20m 11s
HeckeCI HeckeCI #576: Scheduled
1h 12m 31s master
master
1h 12m 31s
HeckeCI HeckeCI #575: Scheduled
1h 21m 5s master
master
1h 21m 5s
HeckeCI HeckeCI #574: Scheduled
1h 28m 30s master
master
1h 28m 30s
HeckeCI HeckeCI #573: Scheduled
1h 28m 39s master
master
1h 28m 39s
HeckeCI HeckeCI #572: Scheduled
1h 0m 31s master
master
1h 0m 31s
⚡