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 #1867: Merge group checks requested
August 20, 2024 09:45 3m 25s
August 20, 2024 09:45 3m 25s
Haskell-CI Haskell-CI #1866: Merge group checks requested
August 20, 2024 01:16 3m 19s
August 20, 2024 01:16 3m 19s
Haskell-CI Haskell-CI #1865: Merge group checks requested
August 15, 2024 02:25 3m 18s
August 15, 2024 02:25 3m 18s
Haskell-CI Haskell-CI #1864: Merge group checks requested
August 14, 2024 21:03 3m 27s
August 14, 2024 21:03 3m 27s
Haskell-CI Haskell-CI #1863: Merge group checks requested
August 14, 2024 20:55 3m 25s
August 14, 2024 20:55 3m 25s
Haskell-CI Haskell-CI #1862: Merge group checks requested
August 14, 2024 09:33 3m 18s
August 14, 2024 09:33 3m 18s
Haskell-CI Haskell-CI #1861: Merge group checks requested
August 14, 2024 09:27 3m 28s
August 14, 2024 09:27 3m 28s
Haskell-CI Haskell-CI #1860: Merge group checks requested
August 14, 2024 09:21 3m 22s
August 14, 2024 09:21 3m 22s
Haskell-CI Haskell-CI #1859: Merge group checks requested
August 13, 2024 23:53 3m 14s
August 13, 2024 23:53 3m 14s
Haskell-CI Haskell-CI #1858: Merge group checks requested
August 12, 2024 17:39 3m 16s
August 12, 2024 17:39 3m 16s
Haskell-CI Haskell-CI #1857: Merge group checks requested
August 12, 2024 11:40 3m 23s
August 12, 2024 11:40 3m 23s
Haskell-CI Haskell-CI #1856: Merge group checks requested
August 2, 2024 11:04 2m 44s
August 2, 2024 11:04 2m 44s
Haskell-CI Haskell-CI #1855: Merge group checks requested
August 2, 2024 11:02 2m 48s
August 2, 2024 11:02 2m 48s
Haskell-CI Haskell-CI #1854: Merge group checks requested
August 2, 2024 11:00 2m 47s
August 2, 2024 11:00 2m 47s
Haskell-CI Haskell-CI #1853: Merge group checks requested
July 29, 2024 07:00 2m 49s
July 29, 2024 07:00 2m 49s
Setup for v2.2 development (#2439) Haskell-CI #1852: Commit 6f1416b pushed by github-merge-queue bot
July 27, 2024 04:38 3m 29s master
master
July 27, 2024 04:38 3m 29s
Haskell-CI Haskell-CI #1851: Merge group checks requested
July 27, 2024 03:46 3m 29s
July 27, 2024 03:46 3m 29s
Setup for v2.2 development Haskell-CI #1850: Pull request #2439 synchronize by MatthewDaggitt
July 27, 2024 02:54 3m 20s move-to-v2.2
move-to-v2.2
July 27, 2024 02:54 3m 20s
Setup for v2.2 development Haskell-CI #1849: Pull request #2439 synchronize by MatthewDaggitt
July 17, 2024 11:02 2m 54s move-to-v2.2
move-to-v2.2
July 17, 2024 11:02 2m 54s
Setup for v2.2 development Haskell-CI #1848: Pull request #2439 opened by MatthewDaggitt
July 17, 2024 10:58 3m 19s move-to-v2.2
move-to-v2.2
July 17, 2024 10:58 3m 19s
Bump CI for experimental to latest Agda master Haskell-CI #1847: Commit 96d4477 pushed by andreasabel
July 10, 2024 08:44 2m 44s experimental
experimental
July 10, 2024 08:44 2m 44s
Agda PR #7322 compatibility Haskell-CI #1846: Pull request #2432 synchronize by andreasabel
July 10, 2024 07:16 2m 25s issue7322-compat
issue7322-compat
July 10, 2024 07:16 2m 25s
Agda PR #7322 compatibility Haskell-CI #1845: Pull request #2432 synchronize by andreasabel
July 10, 2024 07:13 2m 35s issue7322-compat
issue7322-compat
July 10, 2024 07:13 2m 35s
Haskell-CI Haskell-CI #1844: Merge group checks requested
July 8, 2024 10:01 2m 50s
July 8, 2024 10:01 2m 50s
Haskell-CI Haskell-CI #1843: Merge group checks requested
July 7, 2024 02:24 2m 48s
July 7, 2024 02:24 2m 48s