Skip to content

Actions: seereason/Diff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 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 Hunk invariant static checks Haskell-CI #87: Pull request #35 opened by ninioArtillero
7m 15s tweag:xg/context-checks
tweag:xg/context-checks
7m 15s
Add Hunk invariant static checks LiquidHaskell #10: Pull request #35 opened by ninioArtillero
12m 4s tweag:xg/context-checks
tweag:xg/context-checks
12m 4s
LineRange and StringDiff invariants static checks Haskell-CI #86: Pull request #34 synchronize by ninioArtillero
3m 59s xg/output-checks
xg/output-checks
3m 59s
LineRange and StringDiff invariants static checks LiquidHaskell #9: Pull request #34 synchronize by ninioArtillero
1m 23s xg/output-checks
xg/output-checks
1m 23s
LineRange and StringDiff invariants static checks LiquidHaskell #8: Pull request #34 synchronize by ninioArtillero
10m 43s xg/output-checks
xg/output-checks
10m 43s
LineRange and StringDiff invariants static checks Haskell-CI #85: Pull request #34 synchronize by ninioArtillero
4m 21s xg/output-checks
xg/output-checks
4m 21s
LineRange and StringDiff invariants static checks LiquidHaskell #7: Pull request #34 opened by ninioArtillero
12m 57s xg/output-checks
xg/output-checks
12m 57s
LineRange and StringDiff invariants static checks Haskell-CI #84: Pull request #34 opened by ninioArtillero
7m 45s xg/output-checks
xg/output-checks
7m 45s
Rename LiquidHaskell CI job to improve display on merge details (#33) Haskell-CI #83: Commit f1a905b pushed by ninioArtillero
7m 23s master
master
7m 23s
Rename LiquidHaskell CI job to improve display on merge details Haskell-CI #82: Pull request #33 synchronize by ninioArtillero
3m 57s rename-job
rename-job
3m 57s
Rename LiquidHaskell CI job to improve display on merge details LiquidHaskell #6: Pull request #33 synchronize by ninioArtillero
10m 58s rename-job
rename-job
10m 58s
Rename LiquidHaskell CI job to improve display on merge details LiquidHaskell #5: Pull request #33 opened by ninioArtillero
11m 55s rename-job
rename-job
11m 55s
Rename LiquidHaskell CI job to improve display on merge details Haskell-CI #81: Pull request #33 opened by ninioArtillero
7m 27s rename-job
rename-job
7m 27s
Merge pull request #32 from seereason/wavefront-check Haskell-CI #80: Commit 03e59e5 pushed by ninioArtillero
7m 17s master
master
7m 17s
Add wave front invariant static check Haskell-CI #79: Pull request #32 synchronize by ninioArtillero
7m 20s wavefront-check
wavefront-check
7m 20s
Add wave front invariant static check LiquidHaskell #4: Pull request #32 synchronize by ninioArtillero
2m 1s wavefront-check
wavefront-check
2m 1s
Add wave front invariant static check LiquidHaskell #3: Pull request #32 synchronize by ninioArtillero
13m 45s wavefront-check
wavefront-check
13m 45s
Add wave front invariant static check Haskell-CI #78: Pull request #32 synchronize by ninioArtillero
3m 51s wavefront-check
wavefront-check
3m 51s
Remove deprecated documentation justifying redundant snake extension … Haskell-CI #77: Commit 461bfec pushed by ninioArtillero
7m 34s master
master
7m 34s
Remove deprecated documentation justifying redundant snake extension LiquidHaskell #2: Pull request #31 opened by ninioArtillero
15m 26s deprecated-doc
deprecated-doc
15m 26s
Remove deprecated documentation justifying redundant snake extension Haskell-CI #76: Pull request #31 opened by ninioArtillero
2m 11s deprecated-doc
deprecated-doc
2m 11s
Merge pull request #29 from seereason/lh-check Haskell-CI #75: Commit 8cc69ff pushed by ddssff
6m 42s master
master
6m 42s
Add static checks via Liquid Haskell annotations Haskell-CI #74: Pull request #29 synchronize by ninioArtillero
6m 44s lh-check
lh-check
6m 44s
Add static checks via Liquid Haskell annotations LiquidHaskell #1: Pull request #29 synchronize by ninioArtillero
11m 3s lh-check
lh-check
11m 3s
Add static checks via Liquid Haskell annotations Haskell-CI #73: Pull request #29 synchronize by ninioArtillero
7m 5s lh-check
lh-check
7m 5s