Skip to content

Actions: LeventErkok/sbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,002 workflow runs
2,002 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix pragmas Haskell-CI #1845: Commit 6932876 pushed by LeventErkok
July 30, 2025 02:43 6m 45s SymOrd
SymOrd
July 30, 2025 02:43 6m 45s
fix typo Haskell-CI #1844: Commit 8227158 pushed by LeventErkok
July 29, 2025 15:17 6m 33s SymOrd
SymOrd
July 29, 2025 15:17 6m 33s
simplify Haskell-CI #1843: Commit c61d268 pushed by LeventErkok
July 29, 2025 15:11 6m 52s SymOrd
SymOrd
July 29, 2025 15:11 6m 52s
Liberate symbolic ord for srational Haskell-CI #1842: Commit 073f3d1 pushed by LeventErkok
July 29, 2025 14:00 6m 46s SymOrd
SymOrd
July 29, 2025 14:00 6m 46s
liberalized symbolic ords Haskell-CI #1841: Commit 23c213d pushed by LeventErkok
July 29, 2025 04:01 5m 50s SymOrd
SymOrd
July 29, 2025 04:01 5m 50s
fix golds lint #1212: Commit f802d38 pushed by LeventErkok
July 28, 2025 17:03 1m 10s master
master
July 28, 2025 17:03 1m 10s
fix golds Haskell-CI #1840: Commit f802d38 pushed by LeventErkok
July 28, 2025 17:03 6m 34s master
master
July 28, 2025 17:03 6m 34s
constant fold srational arithmetic lint #1211: Commit 432a573 pushed by LeventErkok
July 28, 2025 16:38 1m 7s master
master
July 28, 2025 16:38 1m 7s
constant fold srational arithmetic Haskell-CI #1839: Commit 432a573 pushed by LeventErkok
July 28, 2025 16:38 6m 32s master
master
July 28, 2025 16:38 6m 32s
simplify translation for rationals lint #1210: Commit c27cf12 pushed by LeventErkok
July 28, 2025 14:52 1m 6s master
master
July 28, 2025 14:52 1m 6s
simplify translation for rationals Haskell-CI #1838: Commit c27cf12 pushed by LeventErkok
July 28, 2025 14:52 6m 49s master
master
July 28, 2025 14:52 6m 49s
improve comment lint #1209: Commit 64c83c5 pushed by LeventErkok
July 28, 2025 14:09 1m 9s master
master
July 28, 2025 14:09 1m 9s
improve comment Haskell-CI #1837: Commit 64c83c5 pushed by LeventErkok
July 28, 2025 14:09 6m 35s master
master
July 28, 2025 14:09 6m 35s
fix import lint #1208: Commit 6170612 pushed by LeventErkok
July 28, 2025 14:07 1m 17s master
master
July 28, 2025 14:07 1m 17s
fix import Haskell-CI #1836: Commit 6170612 pushed by LeventErkok
July 28, 2025 14:07 6m 35s master
master
July 28, 2025 14:07 6m 35s
Simplify SRational Num instance Haskell-CI #1835: Commit 153e650 pushed by LeventErkok
July 28, 2025 14:06 5m 2s master
master
July 28, 2025 14:06 5m 2s
Simplify SRational Num instance lint #1207: Commit 153e650 pushed by LeventErkok
July 28, 2025 14:06 1m 9s master
master
July 28, 2025 14:06 1m 9s
fix tests Haskell-CI #1834: Commit e2fea15 pushed by LeventErkok
July 24, 2025 03:21 6m 27s master
master
July 24, 2025 03:21 6m 27s
fix tests lint #1206: Commit e2fea15 pushed by LeventErkok
July 24, 2025 03:21 1m 10s master
master
July 24, 2025 03:21 1m 10s
Mention SRational fix lint #1205: Commit 33bd285 pushed by LeventErkok
July 23, 2025 14:57 1m 8s master
master
July 23, 2025 14:57 1m 8s
Mention SRational fix Haskell-CI #1833: Commit 33bd285 pushed by LeventErkok
July 23, 2025 14:57 6m 35s master
master
July 23, 2025 14:57 6m 35s
Add missing rational num instance lint #1204: Commit cae1ab2 pushed by LeventErkok
July 23, 2025 14:06 1m 12s master
master
July 23, 2025 14:06 1m 12s
Add missing rational num instance Haskell-CI #1832: Commit cae1ab2 pushed by LeventErkok
July 23, 2025 14:06 6m 34s master
master
July 23, 2025 14:06 6m 34s
Fix constant folding for Euclidian division/modulus Haskell-CI #1831: Commit 4eae2e0 pushed by LeventErkok
July 17, 2025 23:45 8m 36s master
master
July 17, 2025 23:45 8m 36s
Fix constant folding for Euclidian division/modulus lint #1203: Commit 4eae2e0 pushed by LeventErkok
July 17, 2025 23:45 1m 7s master
master
July 17, 2025 23:45 1m 7s