Skip to content

Actions: LeventErkok/sbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
634 workflow runs
634 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

KD Induction: Induct over the last element. Easier to use Haskell-CI #845: Commit becf846 pushed by LeventErkok
October 9, 2024 18:35 6m 5s master
master
October 9, 2024 18:35 6m 5s
KD Induction: Induct over the last element. Easier to use lint #558: Commit becf846 pushed by LeventErkok
October 9, 2024 18:35 1m 12s master
master
October 9, 2024 18:35 1m 12s
cvc5 does better with power lint #557: Commit fe6b69e pushed by LeventErkok
October 8, 2024 14:48 1m 11s master
master
October 8, 2024 14:48 1m 11s
cvc5 does better with power Haskell-CI #844: Commit fe6b69e pushed by LeventErkok
October 8, 2024 14:48 6m 19s master
master
October 8, 2024 14:48 6m 19s
improve pow axiomatization lint #556: Commit 14b3777 pushed by LeventErkok
October 8, 2024 14:37 1m 11s master
master
October 8, 2024 14:37 1m 11s
improve pow axiomatization Haskell-CI #843: Commit 14b3777 pushed by LeventErkok
October 8, 2024 14:37 6m 8s master
master
October 8, 2024 14:37 6m 8s
add the Tao example Haskell-CI #842: Commit cc2e013 pushed by LeventErkok
October 7, 2024 18:56 6m 6s master
master
October 7, 2024 18:56 6m 6s
add the Tao example lint #555: Commit cc2e013 pushed by LeventErkok
October 7, 2024 18:56 1m 14s master
master
October 7, 2024 18:56 1m 14s
Add KD proof for 11^n-4^n divides 7 lint #554: Commit ca6ad32 pushed by LeventErkok
October 7, 2024 17:01 1m 12s master
master
October 7, 2024 17:01 1m 12s
Add KD proof for 11^n-4^n divides 7 Haskell-CI #841: Commit ca6ad32 pushed by LeventErkok
October 7, 2024 17:01 6m 3s master
master
October 7, 2024 17:01 6m 3s
Type abstractions require base >= 4.19 lint #553: Commit ed21ffc pushed by LeventErkok
October 3, 2024 19:48 1m 9s master
master
October 3, 2024 19:48 1m 9s
Type abstractions require base >= 4.19 Haskell-CI #840: Commit ed21ffc pushed by LeventErkok
October 3, 2024 19:48 6m 2s master
master
October 3, 2024 19:48 6m 2s
Addresses #726 lint #552: Commit 2d325b6 pushed by LeventErkok
October 2, 2024 16:19 1m 12s master
master
October 2, 2024 16:19 1m 12s
Addresses #726 Haskell-CI #839: Commit 2d325b6 pushed by LeventErkok
October 2, 2024 16:19 6m 45s master
master
October 2, 2024 16:19 6m 45s
Merge branch 'master' into InsertionSort Haskell-CI #838: Commit ed5b754 pushed by LeventErkok
September 23, 2024 15:23 6m 6s InsertionSort
InsertionSort
September 23, 2024 15:23 6m 6s
Match new z3 output Haskell-CI #837: Commit bca37e9 pushed by LeventErkok
September 23, 2024 14:53 5m 46s master
master
September 23, 2024 14:53 5m 46s
Match new z3 output lint #551: Commit bca37e9 pushed by LeventErkok
September 23, 2024 14:53 1m 10s master
master
September 23, 2024 14:53 1m 10s
avoid doing the wrong induction Haskell-CI #836: Commit d653d29 pushed by LeventErkok
September 23, 2024 12:29 6m 14s insertionSort
insertionSort
September 23, 2024 12:29 6m 14s
allow configuring #of qc tests to run lint #550: Commit 481bb1b pushed by LeventErkok
September 23, 2024 12:12 1m 9s master
master
September 23, 2024 12:12 1m 9s
allow configuring #of qc tests to run Haskell-CI #835: Commit 481bb1b pushed by LeventErkok
September 23, 2024 12:12 5m 49s master
master
September 23, 2024 12:12 5m 49s
fix compilation issue Haskell-CI #834: Commit f78f98d pushed by LeventErkok
September 23, 2024 12:01 6m 1s insertionSort
insertionSort
September 23, 2024 12:01 6m 1s
Merge branch 'master' into insertionSort Haskell-CI #833: Commit bf76737 pushed by LeventErkok
September 23, 2024 05:14 4m 58s insertionSort
insertionSort
September 23, 2024 05:14 4m 58s
Get rid of KDConfig lint #549: Commit ccee2eb pushed by LeventErkok
September 23, 2024 05:14 1m 11s master
master
September 23, 2024 05:14 1m 11s
Get rid of KDConfig Haskell-CI #832: Commit ccee2eb pushed by LeventErkok
September 23, 2024 05:14 5m 59s master
master
September 23, 2024 05:14 5m 59s
a bit more progress Haskell-CI #831: Commit c00a67c pushed by LeventErkok
September 23, 2024 03:45 5m 44s insertionSort
insertionSort
September 23, 2024 03:45 5m 44s