Skip to content

Actions: LeventErkok/sbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
641 workflow runs
641 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Emit the special functions in the correct order lint #585: Commit 016c6f1 pushed by LeventErkok
December 1, 2024 22:58 1m 13s master
master
December 1, 2024 22:58 1m 13s
Emit the special functions in the correct order Haskell-CI #881: Commit 016c6f1 pushed by LeventErkok
December 1, 2024 22:58 5m 44s master
master
December 1, 2024 22:58 5m 44s
Update Lambda.hs lint #584: Commit 1e6e998 pushed by LeventErkok
December 1, 2024 22:34 1m 9s master
master
December 1, 2024 22:34 1m 9s
Update Lambda.hs Haskell-CI #880: Commit 1e6e998 pushed by LeventErkok
December 1, 2024 22:34 5m 50s master
master
December 1, 2024 22:34 5m 50s
New implementation of zip can't handle inifnite lists on the first ar… lint #583: Commit 337474e pushed by LeventErkok
December 1, 2024 22:33 1m 8s master
master
December 1, 2024 22:33 1m 8s
New implementation of zip can't handle inifnite lists on the first ar… Haskell-CI #879: Commit 337474e pushed by LeventErkok
December 1, 2024 22:33 5m 50s master
master
December 1, 2024 22:33 5m 50s
Lambda's are now hidden behind a newtype lint #582: Commit f2b813f pushed by LeventErkok
December 1, 2024 21:27 1m 8s master
master
December 1, 2024 21:27 1m 8s
Lambda's are now hidden behind a newtype Haskell-CI #878: Commit f2b813f pushed by LeventErkok
December 1, 2024 21:27 6m 0s master
master
December 1, 2024 21:27 6m 0s
Update golds to match the new higher-order output syntax lint #581: Commit dcda373 pushed by LeventErkok
November 30, 2024 03:37 1m 11s master
master
November 30, 2024 03:37 1m 11s
Update golds to match the new higher-order output syntax Haskell-CI #877: Commit dcda373 pushed by LeventErkok
November 30, 2024 03:37 6m 18s master
master
November 30, 2024 03:37 6m 18s
Update golds to match the new higher-order output syntax Haskell-CI #876: Commit dcda373 pushed by LeventErkok
November 30, 2024 03:37 5m 59s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 30, 2024 03:37 5m 59s
few more examples Haskell-CI #875: Commit 662c38c pushed by LeventErkok
November 29, 2024 21:23 5m 59s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 29, 2024 21:23 5m 59s
Mention higher order support Haskell-CI #874: Commit 979e830 pushed by LeventErkok
November 29, 2024 20:58 5m 49s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 29, 2024 20:58 5m 49s
Merge branch 'master' into sequence_any_all_filter_higher_order Haskell-CI #873: Commit 37b8174 pushed by LeventErkok
November 25, 2024 16:24 6m 46s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 25, 2024 16:24 6m 46s
Update cvc5 tested date lint #580: Commit f3ba038 pushed by LeventErkok
November 25, 2024 16:23 1m 16s master
master
November 25, 2024 16:23 1m 16s
Update cvc5 tested date Haskell-CI #872: Commit f3ba038 pushed by LeventErkok
November 25, 2024 16:23 6m 36s master
master
November 25, 2024 16:23 6m 36s
whitespace Haskell-CI #871: Commit bb74c46 pushed by LeventErkok
November 14, 2024 16:50 6m 3s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 14, 2024 16:50 6m 3s
Explicitly detect support for lambda expression support Haskell-CI #870: Commit 6275389 pushed by LeventErkok
November 14, 2024 16:48 5m 50s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 14, 2024 16:48 5m 50s
A first shot at more higher-order list functions Haskell-CI #869: Commit fc2c8a8 pushed by LeventErkok
November 13, 2024 22:20 5m 56s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 13, 2024 22:20 5m 56s
clarify the comment Haskell-CI #868: Commit e487bdc pushed by LeventErkok
November 13, 2024 22:20 5m 57s sequence_any_all_filter_higher_order
sequence_any_all_filter_higher_order
November 13, 2024 22:20 5m 57s
clarify the comment Haskell-CI #867: Commit e487bdc pushed by LeventErkok
November 13, 2024 22:18 5m 47s master
master
November 13, 2024 22:18 5m 47s
clarify the comment lint #579: Commit e487bdc pushed by LeventErkok
November 13, 2024 22:18 1m 14s master
master
November 13, 2024 22:18 1m 14s
Generalize project/embed signatures lint #578: Commit 1f4425c pushed by LeventErkok
November 7, 2024 14:38 1m 10s master
master
November 7, 2024 14:38 1m 10s
Generalize project/embed signatures Haskell-CI #866: Commit 1f4425c pushed by LeventErkok
November 7, 2024 14:38 6m 14s master
master
November 7, 2024 14:38 6m 14s
fix haddock command lint #577: Commit 6fcdba5 pushed by LeventErkok
November 7, 2024 03:40 1m 12s master
master
November 7, 2024 03:40 1m 12s