Skip to content

Actions: kowainik/typerep-map

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
16 workflow runs
16 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
CI CI #194: Scheduled
17m 33s main
main
17m 33s
CI CI #193: Scheduled
19m 2s main
main
19m 2s
CI CI #192: Scheduled
21m 5s main
main
21m 5s
CI CI #191: Scheduled
16m 42s main
main
16m 42s
CI CI #190: Scheduled
17m 51s main
main
17m 51s
CI CI #189: Scheduled
16m 5s main
main
16m 5s
CI CI #188: Scheduled
16m 13s main
main
16m 13s
CI CI #187: Scheduled
20m 10s main
main
20m 10s
CI CI #186: Scheduled
16m 53s main
main
16m 53s
CI CI #185: Scheduled
18m 37s main
main
18m 37s
GA(deps): Bump actions/cache from 4 to 5 CI #184: Pull request #140 opened by dependabot Bot
32m 3s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
32m 3s
GA(deps): Bump actions/checkout from 4 to 6 CI #183: Pull request #139 opened by dependabot Bot
16m 22s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
16m 22s
Support newer GHC versions (#138) CI #182: Commit 9382275 pushed by vrom911
15m 54s main
main
15m 54s
Support newer GHC versions CI #181: Pull request #138 synchronize by vrom911
15m 44s vrom911/new-ghcs
vrom911/new-ghcs
15m 44s
Support newer GHC versions CI #180: Pull request #138 synchronize by vrom911
15m 47s vrom911/new-ghcs
vrom911/new-ghcs
15m 47s
CI CI #179: Manually run by vrom911
8m 31s vrom911/new-ghcs
vrom911/new-ghcs
8m 31s