Skip to content

Actions: agda/agda-stdlib

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
253 workflow runs
253 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Haskell-CI Haskell-CI #1892: Merge group checks requested
October 28, 2024 02:06 3m 32s
October 28, 2024 02:06 3m 32s
Haskell-CI Haskell-CI #1891: Merge group checks requested
October 18, 2024 15:05 3m 52s
October 18, 2024 15:05 3m 52s
Haskell-CI Haskell-CI #1890: Merge group checks requested
October 7, 2024 03:12 3m 20s
October 7, 2024 03:12 3m 20s
Haskell-CI Haskell-CI #1889: Merge group checks requested
October 7, 2024 02:53 3m 15s
October 7, 2024 02:53 3m 15s
Haskell-CI Haskell-CI #1888: Merge group checks requested
October 7, 2024 02:37 3m 20s
October 7, 2024 02:37 3m 20s
Haskell-CI Haskell-CI #1887: Merge group checks requested
September 28, 2024 13:33 25m 5s
September 28, 2024 13:33 25m 5s
Haskell-CI Haskell-CI #1886: Merge group checks requested
September 28, 2024 06:34 3m 19s
September 28, 2024 06:34 3m 19s
Haskell-CI Haskell-CI #1885: Merge group checks requested
September 28, 2024 06:29 3m 21s
September 28, 2024 06:29 3m 21s
Haskell-CI Haskell-CI #1884: Merge group checks requested
September 28, 2024 05:50 3m 21s
September 28, 2024 05:50 3m 21s
Haskell-CI Haskell-CI #1883: Merge group checks requested
September 25, 2024 20:53 3m 55s
September 25, 2024 20:53 3m 55s
Haskell-CI Haskell-CI #1882: Merge group checks requested
September 25, 2024 18:55 3m 23s
September 25, 2024 18:55 3m 23s
Haskell-CI Haskell-CI #1881: Merge group checks requested
September 25, 2024 10:13 2m 49s
September 25, 2024 10:13 2m 49s
Haskell-CI Haskell-CI #1880: Merge group checks requested
September 24, 2024 05:25 3m 21s
September 24, 2024 05:25 3m 21s
Haskell-CI Haskell-CI #1879: Merge group checks requested
September 11, 2024 11:13 3m 20s
September 11, 2024 11:13 3m 20s
Haskell-CI Haskell-CI #1878: Merge group checks requested
September 8, 2024 14:23 3m 18s
September 8, 2024 14:23 3m 18s
Haskell-CI Haskell-CI #1877: Merge group checks requested
September 8, 2024 13:54 3m 16s
September 8, 2024 13:54 3m 16s
Haskell-CI Haskell-CI #1876: Merge group checks requested
September 8, 2024 13:46 3m 29s
September 8, 2024 13:46 3m 29s
fix typo in release-guide (#2477) Haskell-CI #1875: Commit 7069d03 pushed by andreasabel
September 8, 2024 09:30 3m 17s experimental
experimental
September 8, 2024 09:30 3m 17s
Haskell-CI Haskell-CI #1874: Merge group checks requested
September 7, 2024 20:36 3m 30s
September 7, 2024 20:36 3m 30s
Haskell-CI Haskell-CI #1873: Merge group checks requested
September 7, 2024 09:39 3m 14s
September 7, 2024 09:39 3m 14s
Haskell-CI Haskell-CI #1872: Merge group checks requested
September 3, 2024 03:12 3m 17s
September 3, 2024 03:12 3m 17s
Haskell-CI Haskell-CI #1871: Merge group checks requested
September 3, 2024 01:53 3m 16s
September 3, 2024 01:53 3m 16s
Haskell-CI Haskell-CI #1870: Merge group checks requested
September 1, 2024 15:50 3m 15s
September 1, 2024 15:50 3m 15s
Haskell-CI Haskell-CI #1869: Merge group checks requested
August 30, 2024 09:32 3m 16s
August 30, 2024 09:32 3m 16s
Haskell-CI Haskell-CI #1868: Merge group checks requested
August 22, 2024 15:58 4m 2s
August 22, 2024 15:58 4m 2s