Skip to content

Actions: seereason/Diff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 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
Prove termination of diff algorithm implementation LiquidHaskell #42: Pull request #37 synchronize by ninioArtillero
1m 21s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 21s
Prove termination of diff algorithm implementation Haskell-CI #123: Pull request #37 synchronize by ninioArtillero
4m 4s tweag:xg/ses-termination
tweag:xg/ses-termination
4m 4s
Prove termination of diff algorithm implementation Haskell-CI #122: Pull request #37 synchronize by ninioArtillero
4m 16s tweag:xg/ses-termination
tweag:xg/ses-termination
4m 16s
Prove termination of diff algorithm implementation LiquidHaskell #41: Pull request #37 synchronize by ninioArtillero
1m 58s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 58s
Prove termination of diff algorithm implementation Haskell-CI #121: Pull request #37 synchronize by ninioArtillero
4m 4s tweag:xg/ses-termination
tweag:xg/ses-termination
4m 4s
Prove termination of diff algorithm implementation LiquidHaskell #40: Pull request #37 synchronize by ninioArtillero
1m 5s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 5s
Prove termination of diff algorithm implementation Haskell-CI #120: Pull request #37 synchronize by ninioArtillero
4m 4s tweag:xg/ses-termination
tweag:xg/ses-termination
4m 4s
Prove termination of diff algorithm implementation LiquidHaskell #39: Pull request #37 synchronize by ninioArtillero
1m 26s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 26s
Prove termination of diff algorithm implementation Haskell-CI #119: Pull request #37 synchronize by ninioArtillero
4m 29s tweag:xg/ses-termination
tweag:xg/ses-termination
4m 29s
Prove termination of diff algorithm implementation LiquidHaskell #38: Pull request #37 synchronize by ninioArtillero
1m 50s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 50s
Prove termination of diff algorithm implementation Haskell-CI #118: Pull request #37 synchronize by ninioArtillero
7m 2s tweag:xg/ses-termination
tweag:xg/ses-termination
7m 2s
Prove termination of diff algorithm implementation LiquidHaskell #37: Pull request #37 synchronize by ninioArtillero
1m 16s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 16s
Merge pull request #38 from tweag/xg/fix-tests Haskell-CI #117: Commit f403f1a pushed by ninioArtillero
18m 8s master
master
18m 8s
Fix division by zero error in prop_ppDiffR Haskell-CI #116: Pull request #38 synchronize by ninioArtillero
4m 14s tweag:xg/fix-tests
tweag:xg/fix-tests
4m 14s
Fix division by zero error in prop_ppDiffR LiquidHaskell #36: Pull request #38 synchronize by ninioArtillero
42s tweag:xg/fix-tests
tweag:xg/fix-tests
42s
Fix division by zero error in prop_ppDiffR Haskell-CI #115: Pull request #38 opened by ninioArtillero
7m 37s tweag:xg/fix-tests
tweag:xg/fix-tests
7m 37s
Fix division by zero error in prop_ppDiffR LiquidHaskell #35: Pull request #38 opened by ninioArtillero
13m 45s tweag:xg/fix-tests
tweag:xg/fix-tests
13m 45s
Prove termination of diff algorithm implementation Haskell-CI #114: Pull request #37 synchronize by ninioArtillero
4m 7s tweag:xg/ses-termination
tweag:xg/ses-termination
4m 7s
Prove termination of diff algorithm implementation LiquidHaskell #34: Pull request #37 synchronize by ninioArtillero
1m 27s tweag:xg/ses-termination
tweag:xg/ses-termination
1m 27s
Prove termination of diff algorithm implementation LiquidHaskell #33: Pull request #37 synchronize by ninioArtillero
9m 27s tweag:xg/ses-termination
tweag:xg/ses-termination
9m 27s
Prove termination of diff algorithm implementation Haskell-CI #113: Pull request #37 synchronize by ninioArtillero
7m 30s tweag:xg/ses-termination
tweag:xg/ses-termination
7m 30s
Prove termination of diff algorithm implementation Haskell-CI #112: Pull request #37 opened by ninioArtillero
4m 1s tweag:xg/ses-termination
tweag:xg/ses-termination
4m 1s
Prove termination of diff algorithm implementation LiquidHaskell #32: Pull request #37 opened by ninioArtillero
13m 47s tweag:xg/ses-termination
tweag:xg/ses-termination
13m 47s
Merge pull request #34 from seereason/xg/output-checks Haskell-CI #111: Commit 231b1bb pushed by ninioArtillero
7m 33s master
master
7m 33s
ValidLineRange static check for diffToLineRanges Haskell-CI #110: Pull request #34 synchronize by ninioArtillero
7m 39s xg/output-checks
xg/output-checks
7m 39s