8000 Workflow runs · LeventErkok/sbv · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: LeventErkok/sbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,339 workflow runs
1,339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

KD QC: Restructuring. WIP. Haskell-CI #1374: Commit a14f520 pushed by LeventErkok
May 5, 2025 16:14 6m 10s KDQuickCheck
KDQuickCheck
May 5, 2025 16:14 6m 10s
KD QuickSort: Use stronger helpers. WIP. Haskell-CI #1373: Commit 8f40788 pushed by LeventErkok
May 3, 2025 00:59 6m 15s KDQuickCheck
KDQuickCheck
May 3, 2025 00:59 6m 15s
helper lines Haskell-CI #1372: Commit 4759d29 pushed by LeventErkok
May 1, 2025 17:59 6m 26s KDQuickCheck
KDQuickCheck
May 1, 2025 17:59 6m 26s
quicksort: still not working Haskell-CI #1371: Commit 0adc485 pushed by LeventErkok
May 1, 2025 02:20 6m 19s KDQuickCheck
KDQuickCheck
May 1, 2025 02:20 6m 19s
still working on quicksort Haskell-CI #1370: Commit 7dbfd96 pushed by LeventErkok
April 30, 2025 17:04 7m 1s KDQuickCheck
KDQuickCheck
April 30, 2025 17:04 7m 1s
Bit more work on quick-sort. not yet working. Haskell-CI #1369: Commit 650d188 pushed by LeventErkok
April 30, 2025 15:10 6m 17s KDQuickCheck
KDQuickCheck
April 30, 2025 15:10 6m 17s
Improve error message Haskell-CI #1368: Commit 2267508 pushed by LeventErkok
April 30, 2025 12:58 6m 8s KDQuickCheck
KDQuickCheck
April 30, 2025 12:58 6m 8s
Avoid higher-order funcs Haskell-CI #1367: Commit b152cda pushed by LeventErkok
April 30, 2025 03:02 6m 12s KDQuickCheck
KDQuickCheck
April 30, 2025 03:02 6m 12s
Starting work on quick-sort proof in KD Haskell-CI #1366: Commit 06055ef pushed by LeventErkok
April 30, 2025 02:26 6m 10s KDQuickCheck
KDQuickCheck
April 30, 2025 02:26 6m 10s
Update doctest_sanity.gold lint #935: Commit e1f6279 pushed by LeventErkok
April 30, 2025 02:07 1m 9s master
master
April 30, 2025 02:07 1m 9s
Update doctest_sanity.gold Haskell-CI #1365: Commit e1f6279 pushed by LeventErkok
April 30, 2025 02:07 6m 33s master
master
April 30, 2025 02:07 6m 33s
tweak changes lint #934: Commit af9e8ae pushed by LeventErkok
April 29, 2025 22:59 1m 9s master
master
April 29, 2025 22:59 1m 9s
tweak changes Haskell-CI #1364: Commit af9e8ae pushed by LeventErkok
April 29, 2025 22:59 6m 11s master
master
April 29, 2025 22:59 6m 11s
KD: Add an example/note on termination lint #933: Commit 4bfee59 pushed by LeventErkok
April 29, 2025 22:54 1m 13s master
master
April 29, 2025 22:54 1m 13s
KD: Add an example/note on termination Haskell-CI #1363: Commit 4bfee59 pushed by LeventErkok
April 29, 2025 22:54 6m 13s master
master
April 29, 2025 22:54 6m 13s
final md tweak Haskell-CI #1362: Commit 44a23b0 pushed by LeventErkok
April 29, 2025 18:21 6m 14s master
master
April 29, 2025 18:21 6m 14s
final md tweak lint #932: Commit 44a23b0 pushed by LeventErkok
April 29, 2025 18:21 1m 9s master
master
April 29, 2025 18:21 1m 9s
more markdown Haskell-CI #1361: Commit 3ebcb60 pushed by LeventErkok
April 29, 2025 18:20 6m 7s master
master
April 29, 2025 18:20 6m 7s
more markdown lint #931: Commit 3ebcb60 pushed by LeventErkok
April 29, 2025 18:20 1m 8s master
master
April 29, 2025 18:20 1m 8s
tweak markdown Haskell-CI #1360: Commit 9b0b347 pushed by LeventErkok
April 29, 2025 18:19 6m 14s master
master
April 29, 2025 18:19 6m 14s
tweak markdown lint #930: Commit 9b0b347 pushed by LeventErkok
April 29, 2025 18:19 1m 9s master
master
April 29, 2025 18:19 1m 9s
Update CHANGES.md lint #929: Commit cd28a3c pushed by LeventErkok
April 29, 2025 18:14 1m 10s master
master
April 29, 2025 18:14 1m 10s
Update CHANGES.md Haskell-CI #1359: Commit cd28a3c pushed by LeventErkok
April 29, 2025 18:14 6m 16s master
master
April 29, 2025 18:14 6m 16s
Binary search: CVC5 proves this a lot faster! Haskell-CI #1358: Commit 6f6dcbb pushed by LeventErkok
April 29, 2025 18:13 6m 34s KDBSearch
KDBSearch
April 29, 2025 18:13 6m 34s
KDBinarySearch: Proof done; but kind of slow Haskell-CI #1357: Commit 7c10889 pushed by LeventErkok
April 29, 2025 18:05 6m 22s KDBSearch
KDBSearch
April 29, 2025 18:05 6m 22s
0