Skip to content

Actions: arossato/MicroHs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

MicroHs Nightly MicroHs Nightly #12: Scheduled
3h 25m 33s master
master
3h 25m 33s
MicroHs Nightly MicroHs Nightly #11: Scheduled
3h 25m 30s master
master
3h 25m 30s
MicroHs Nightly MicroHs Nightly #10: Scheduled
3h 14m 26s master
master
3h 14m 26s
MicroHs Nightly MicroHs Nightly #9: Scheduled
3h 24m 42s master
master
3h 24m 42s
MicroHs Nightly MicroHs Nightly #8: Scheduled
3h 14m 27s master
master
3h 14m 27s
MicroHs Nightly MicroHs Nightly #7: Scheduled
3h 13m 53s master
master
3h 13m 53s
MicroHs Nightly MicroHs Nightly #6: Scheduled
3h 17m 4s master
master
3h 17m 4s
MicroHs Nightly MicroHs Nightly #5: Scheduled
3h 14m 5s master
master
3h 14m 5s
MicroHs Nightly MicroHs Nightly #4: Scheduled
3h 14m 14s master
master
3h 14m 14s
MicroHs Nightly MicroHs Nightly #3: Scheduled
3h 12m 36s master
master
3h 12m 36s
MicroHs Nightly MicroHs Nightly #2: Scheduled
3h 14m 26s master
master
3h 14m 26s
MicroHs Nightly MicroHs Nightly #1: Scheduled
3h 14m 23s master
master
3h 14m 23s
Merge pull request #408 from up-do/hlint/ignore-ghc-prelude MicroHs CI #56: Commit 547d3f5 pushed by arossato
25m 14s master
master
25m 14s
Merge pull request #408 from up-do/hlint/ignore-ghc-prelude Linting #56: Commit 547d3f5 pushed by arossato
34s master
master
34s
Merge pull request #408 from up-do/hlint/ignore-ghc-prelude hackage-ci #56: Commit 547d3f5 pushed by arossato
10m 33s master
master
10m 33s
Revert "Debugging" hackage-ci #55: Commit 9cc9081 pushed by arossato
11m 3s master
master
11m 3s
Revert "Debugging" Linting #55: Commit 9cc9081 pushed by arossato
32s master
master
32s
Revert "Debugging" MicroHs CI #55: Commit 9cc9081 pushed by arossato
3h 9m 42s master
master
3h 9m 42s
Regen hackage-ci #54: Commit aea0445 pushed by arossato
10m 26s master
master
10m 26s
Regen MicroHs CI #54: Commit aea0445 pushed by arossato
3h 9m 59s master
master
3h 9m 59s
Regen Linting #54: Commit aea0445 pushed by arossato
32s master
master
32s
Merge pull request #393 from konsumlamm/mdo hackage-ci #53: Commit 166fbe2 pushed by arossato
10m 50s master
master
10m 50s
Merge pull request #393 from konsumlamm/mdo MicroHs CI #53: Commit 166fbe2 pushed by arossato
3h 10m 23s master
master
3h 10m 23s
Merge pull request #393 from konsumlamm/mdo Linting #53: Commit 166fbe2 pushed by arossato
36s master
master
36s
Strip forall when looking up a deriver hackage-ci #52: Commit 69addcd pushed by arossato
11m 11s master
master
11m 11s