Skip to content

Actions: seereason/Diff

Actions

LiquidHaskell

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
liquidhaskell.yml
66 workflow runs
66 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
Version 1.1.0 LiquidHaskell #67: Pull request #46 opened by ninioArtillero
14m 58s tweag:xg/v1.1.0
tweag:xg/v1.1.0
14m 58s
Include LiquidHaskell check in distribution and add acknowledgements LiquidHaskell #66: Pull request #45 synchronize by ninioArtillero
1m 49s tweag:xg/update-package
tweag:xg/update-package
1m 49s
Include LiquidHaskell check in distribution and add acknowledgements LiquidHaskell #65: Pull request #45 synchronize by ninioArtillero
11m 15s tweag:xg/update-package
tweag:xg/update-package
11m 15s
Include LiquidHaskell check in distribution and add acknowledgements LiquidHaskell #64: Pull request #45 opened by ninioArtillero
12m 20s tweag:xg/update-package
tweag:xg/update-package
12m 20s
Fix isLCS repeated expression and refactor it with base functions LiquidHaskell #63: Pull request #39 synchronize by ninioArtillero
1m 34s tweag:xg/fix-islcs
tweag:xg/fix-islcs
1m 34s
Fix isLCS repeated expression and refactor it with base functions LiquidHaskell #62: Pull request #39 synchronize by ninioArtillero
1m 33s tweag:xg/fix-islcs
tweag:xg/fix-islcs
1m 33s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #61: Pull request #37 synchronize by ninioArtillero
1m 51s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 51s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #60: Pull request #37 synchronize by ninioArtillero
1m 38s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 38s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #59: Pull request #37 synchronize by facundominguez
1m 43s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 43s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #58: Pull request #37 synchronize by facundominguez
1m 35s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 35s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #57: Pull request #37 synchronize by facundominguez
1m 38s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 38s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #56: Pull request #37 synchronize by facundominguez
1m 14s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 14s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #55: Pull request #37 synchronize by facundominguez
1m 31s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 31s
Fix isLCS repeated expression and refactor it with base functions LiquidHaskell #54: Pull request #39 synchronize by ninioArtillero
10m 33s tweag:xg/fix-islcs
tweag:xg/fix-islcs
10m 33s
Fix isLCS repeated expression and refactor it with base functions LiquidHaskell #53: Pull request #39 opened by ninioArtillero
13m 11s tweag:xg/fix-islcs
tweag:xg/fix-islcs
13m 11s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #52: Pull request #37 synchronize by ninioArtillero
2m 18s tweag:xg/ses-termination
tweag:xg/ses-termination
2m 18s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #51: Pull request #37 synchronize by ninioArtillero
1m 28s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 28s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #50: Pull request #37 synchronize by ninioArtillero
1m 40s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 40s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #49: Pull request #37 synchronize by ninioArtillero
3m 7s tweag:xg/ses-termination
tweag:xg/ses-termination
3m 7s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #47: Pull request #37 synchronize by ninioArtillero
1m 40s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 40s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #46: Pull request #37 synchronize by ninioArtillero
1m 40s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 40s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #45: Pull request #37 synchronize by ninioArtillero
1m 24s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 24s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #44: Pull request #37 synchronize by ninioArtillero
1m 17s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 17s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #43: Pull request #37 synchronize by ninioArtillero
1m 23s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 23s
Prove termination of (optimized) diff algorithm implementation LiquidHaskell #42: Pull request #37 synchronize by ninioArtillero
1m 21s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 21s