Skip to content

Actions: nick8325/quickcheck

Actions

MicroHs-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
microhs-ci.yml
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

MicroHs-CI MicroHs-CI #173: Scheduled
58s master
master
58s
MicroHs-CI MicroHs-CI #172: Scheduled
57s master
master
57s
Update microhs-ci.yml MicroHs-CI #171: Pull request #460 opened by sol
59s sol:patch-1
sol:patch-1
59s
MicroHs-CI MicroHs-CI #170: Scheduled
1m 0s master
master
1m 0s
MicroHs-CI MicroHs-CI #169: Scheduled
59s master
master
59s
MicroHs-CI MicroHs-CI #168: Scheduled
59s master
master
59s
MicroHs-CI MicroHs-CI #167: Scheduled
56s master
master
56s
MicroHs-CI MicroHs-CI #166: Scheduled
59s master
master
59s
MicroHs-CI MicroHs-CI #165: Scheduled
1m 2s master
master
1m 2s
MicroHs-CI MicroHs-CI #164: Scheduled
59s master
master
59s
MicroHs-CI MicroHs-CI #163: Scheduled
1m 2s master
master
1m 2s
Better NonEmptyList arbitrary implementation (#458) MicroHs-CI #162: Commit 0ee14a3 pushed by MaximilianAlgehed
1m 1s master
master
1m 1s
MicroHs-CI MicroHs-CI #161: Scheduled
1m 0s master
master
1m 0s
MicroHs-CI MicroHs-CI #160: Scheduled
59s master
master
59s
MicroHs-CI MicroHs-CI #159: Scheduled
56s master
master
56s
MicroHs-CI MicroHs-CI #158: Scheduled
1m 4s master
master
1m 4s
MicroHs-CI MicroHs-CI #157: Scheduled
57s master
master
57s
MicroHs-CI MicroHs-CI #156: Scheduled
59s master
master
59s
Better NonEmptyList MicroHs-CI #155: Pull request #458 opened by konsumlamm
57s konsumlamm:nonempty
konsumlamm:nonempty
57s
MicroHs-CI MicroHs-CI #154: Scheduled
58s master
master
58s
MicroHs-CI MicroHs-CI #153: Scheduled
1m 12s master
master
1m 12s
MicroHs-CI MicroHs-CI #152: Scheduled
1m 3s master
master
1m 3s
MicroHs-CI MicroHs-CI #151: Scheduled
58s master
master
58s
MicroHs-CI MicroHs-CI #150: Scheduled
59s master
master
59s
MicroHs-CI MicroHs-CI #149: Scheduled
1m 1s master
master
1m 1s