Skip to content

Actions: seereason/Diff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Add static checks via Liquid Haskell annotations Haskell-CI #73: Pull request #29 synchronize by ninioArtillero
7m 5s lh-check
lh-check
7m 5s
Merge pull request #30 from seereason/optimize-snakes Haskell-CI #72: Commit 2ec444e pushed by ddssff
6m 51s master
master
6m 51s
Remove redundant snake computations Haskell-CI #71: Pull request #30 opened by ninioArtillero
6m 32s optimize-snakes
optimize-snakes
6m 32s
Add static checks via Liquid Haskell annotations Haskell-CI #70: Pull request #29 synchronize by ninioArtillero
7m 6s lh-check
lh-check
7m 6s
Add static checks via Liquid Haskell annotations Haskell-CI #69: Pull request #29 synchronize by ninioArtillero
7m 16s lh-check
lh-check
7m 16s
Add static checks via Liquid Haskell annotations Haskell-CI #68: Pull request #29 opened by ninioArtillero
7m 40s lh-check
lh-check
7m 40s
Merge pull request #28 from seereason/empty-input Haskell-CI #67: Commit a06d0c8 pushed by ddssff
6m 51s master
master
6m 51s
Address empty input edge cases Haskell-CI #66: Pull request #28 opened by ninioArtillero
7m 32s empty-input
empty-input
7m 32s
Merge pull request #27 from tweag/nothing-equation Haskell-CI #65: Commit 2cbd392 pushed by ddssff
7m 2s master
master
7m 2s
Refactor getContextDiffNumbered with separate Nothing equation Haskell-CI #64: Pull request #27 synchronize by ninioArtillero
3m 21s tweag:nothing-equation
tweag:nothing-equation
3m 21s
Refactor getContextDiffNumbered with separate Nothing equation Haskell-CI #63: Pull request #27 synchronize by ninioArtillero
3m 31s tweag:nothing-equation
tweag:nothing-equation
3m 31s
Refactor getContextDiffNumbered with separate Nothing equation Haskell-CI #62: Pull request #27 opened by ninioArtillero
6m 24s tweag:nothing-equation
tweag:nothing-equation
6m 24s
Merge pull request #26 from tweag/ninioArtillero/specialize-groupBy Haskell-CI #61: Commit ad1e4a2 pushed by ddssff
5m 59s master
master
5m 59s
Remove groupBy' for specialized internal splitBothBoth helper Haskell-CI #60: Pull request #26 synchronize by ninioArtillero
6m 52s tweag:ninioArtillero/specialize-groupBy
tweag:ninioArtillero/specialize-groupBy
6m 52s
Remove groupBy' for specialized internal splitBothBoth helper Haskell-CI #59: Pull request #26 synchronize by ninioArtillero
11m 42s tweag:ninioArtillero/specialize-groupBy
tweag:ninioArtillero/specialize-groupBy
11m 42s
Merge pull request #25 from tweag/ninioArtillero/bench-refactor Haskell-CI #58: Commit 8da8dce pushed by ddssff
13m 46s master
master
13m 46s
Remove groupBy' for specialized internal splitBothBoth helper Haskell-CI #57: Pull request #26 synchronize by ninioArtillero
3m 23s tweag:ninioArtillero/specialize-groupBy
tweag:ninioArtillero/specialize-groupBy
3m 23s
Remove groupBy' for specialized internal splitBothBoth helper Haskell-CI #56: Pull request #26 opened by ninioArtillero
9m 36s tweag:ninioArtillero/specialize-groupBy
tweag:ninioArtillero/specialize-groupBy
9m 36s
Refactor dstep and enable benchmark Haskell-CI #55: Pull request #25 synchronize by ninioArtillero
3m 21s tweag:ninioArtillero/bench-refactor
tweag:ninioArtillero/bench-refactor
3m 21s
Refactor dstep and enable benchmark Haskell-CI #54: Pull request #25 synchronize by ninioArtillero
6m 35s tweag:ninioArtillero/bench-refactor
tweag:ninioArtillero/bench-refactor
6m 35s
Refactor dstep and enable benchmark Haskell-CI #53: Pull request #25 synchronize by ninioArtillero
3m 18s tweag:ninioArtillero/bench-refactor
tweag:ninioArtillero/bench-refactor
3m 18s
Refactor dstep and enable benchmark Haskell-CI #52: Pull request #25 synchronize by ninioArtillero
6m 49s tweag:ninioArtillero/bench-refactor
tweag:ninioArtillero/bench-refactor
6m 49s
Refactor dstep and enable benchmark Haskell-CI #51: Pull request #25 opened by ninioArtillero
10m 2s tweag:ninioArtillero/bench-refactor
tweag:ninioArtillero/bench-refactor
10m 2s
Merge pull request #24 from tweag/na/ord-instance Haskell-CI #50: Commit 452c08b pushed by ddssff
2m 57s master
master
2m 57s
Merge pull request #23 from tweag/ninioArtillero/docs2 Haskell-CI #49: Commit f772d46 pushed by ddssff
5m 10s master
master
5m 10s