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

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
fix haddock command Haskell-CI #865: Commit 6fcdba5 pushed by LeventErkok
November 7, 2024 03:40 5m 53s master
master
November 7, 2024 03:40 5m 53s
Release 11.0 Haskell-CI #864: Commit c196726 pushed by LeventErkok
November 7, 2024 03:31 5m 59s v11.0
v11.0
November 7, 2024 03:31 5m 59s
Release 11.0 lint #576: Commit c196726 pushed by LeventErkok
November 7, 2024 03:31 1m 16s master
master
November 7, 2024 03:31 1m 16s
Release 11.0 Haskell-CI #863: Commit c196726 pushed by LeventErkok
November 7, 2024 03:31 5m 54s master
master
November 7, 2024 03:31 5m 54s
whitespace lint #575: Commit c2c7073 pushed by LeventErkok
November 6, 2024 22:52 1m 13s master
master
November 6, 2024 22:52 1m 13s
whitespace Haskell-CI #862: Commit c2c7073 pushed by LeventErkok
November 6, 2024 22:52 6m 3s master
master
November 6, 2024 22:52 6m 3s
use the synonym Haskell-CI #861: Commit b4dc7f6 pushed by LeventErkok
November 6, 2024 16:31 11m 13s master
master
November 6, 2024 16:31 11m 13s
use the synonym lint #574: Commit b4dc7f6 pushed by LeventErkok
November 6, 2024 16:31 1m 14s master
master
November 6, 2024 16:31 1m 14s
Generalize Queriable defaults and simplify lint #573: Commit 58ccc2b pushed by LeventErkok
November 6, 2024 16:22 1m 9s master
master
November 6, 2024 16:22 1m 9s
Generalize Queriable defaults and simplify Haskell-CI #860: Commit 58ccc2b pushed by LeventErkok
November 6, 2024 16:22 8m 49s master
master
November 6, 2024 16:22 8m 49s
Further trimming of imports Haskell-CI #859: Commit 8cc319a pushed by LeventErkok
November 6, 2024 15:35 9m 40s master
master
November 6, 2024 15:35 9m 40s
Further trimming of imports lint #572: Commit 8cc319a pushed by LeventErkok
November 6, 2024 15:35 1m 14s master
master
November 6, 2024 15:35 1m 14s
trim exports Haskell-CI #858: Commit f5fe211 pushed by LeventErkok
November 6, 2024 15:24 18m 31s master
master
November 6, 2024 15:24 18m 31s