Skip to content

Actions: augustss/MicroHs

Actions

hackage-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
990 workflow runs
990 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better printing of I
hackage-ci #1378: Commit c473dcd pushed by augustss
12m 38s master
Regen
hackage-ci #1377: Commit 3d3e162 pushed by augustss
10m 11s new-case
More instances
hackage-ci #1376: Commit f151cae pushed by augustss
14m 16s master
Implement sparse case.
hackage-ci #1375: Commit 14001f9 pushed by augustss
21m 44s new-case
Regen
hackage-ci #1374: Commit 24f3b1d pushed by augustss
12m 27s master
More debug
hackage-ci #1373: Commit 1fe3904 pushed by augustss
34s new-case
Fix encoding bug
hackage-ci #1372: Commit 84319ce pushed by augustss
24s new-case
Derive Num Max & Min (#491)
hackage-ci #1371: Commit 31e91d1 pushed by augustss
12m 36s master
Fix some bugs
hackage-ci #1368: Commit c2ea460 pushed by augustss
26s new-case
More case stuff
hackage-ci #1367: Commit 7cb9941 pushed by augustss
17s new-case
Some eval stuff
hackage-ci #1365: Commit 59f7996 pushed by augustss
8m 47s new-case
Regen
hackage-ci #1364: Commit b1f66ad pushed by augustss
11m 51s master
Prettier print.
hackage-ci #1363: Commit e948823 pushed by augustss
12m 23s master
Regen
hackage-ci #1361: Commit 7f397e4 pushed by augustss
10m 51s master
Make Text IO work for Unicode.
hackage-ci #1359: Commit 29e7c32 pushed by augustss
12m 39s master
Regen
hackage-ci #1358: Commit a7c254f pushed by augustss
12m 0s master
Add all, any
hackage-ci #1357: Commit a73e6bb pushed by augustss
3m 58s master
Regen
hackage-ci #1356: Commit 7cf65b9 pushed by augustss
4m 27s master
Add hGetEncoding (#486)
hackage-ci #1355: Commit e14030b pushed by augustss
5h 6m 17s master
Add instance Monoid IO (#487)
hackage-ci #1354: Commit e14c244 pushed by augustss
5h 5m 35s master