Skip to content

Actions: augustss/MicroHs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,455 workflow runs
2,455 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version hackage-ci #905: Commit 3cc8a74 pushed by augustss
In progress master
master
In progress
Bump version MicroHs CI #1220: Commit 3cc8a74 pushed by augustss
In progress master
master
In progress
Bump version Linting #680: Commit 3cc8a74 pushed by augustss
36s master
master
36s
Merge pull request #359 from konsumlamm/hsffi Linting #679: Commit 981d0d7 pushed by augustss
34s master
master
34s
Merge pull request #359 from konsumlamm/hsffi hackage-ci #904: Commit 981d0d7 pushed by augustss
9m 55s master
master
9m 55s
Merge pull request #359 from konsumlamm/hsffi MicroHs CI #1219: Commit 981d0d7 pushed by augustss
2h 54m 17s master
master
2h 54m 17s
Fix HsFFI.h Linting #678: Pull request #359 opened by konsumlamm
34s konsumlamm:hsffi
konsumlamm:hsffi
34s
Fix HsFFI.h MicroHs CI #1218: Pull request #359 opened by konsumlamm
2h 45m 15s konsumlamm:hsffi
konsumlamm:hsffi
2h 45m 15s
Fix HsFFI.h hackage-ci #903: Pull request #359 opened by konsumlamm
8m 11s konsumlamm:hsffi
konsumlamm:hsffi
8m 11s
Linting Linting #677: by augustss
34s v0.15.0.0
v0.15.0.0
34s
hackage-ci hackage-ci #902: by augustss
8m 0s v0.15.0.0
v0.15.0.0
8m 0s
MicroHs CI MicroHs CI #1217: by augustss
2h 53m 45s v0.15.0.0
v0.15.0.0
2h 53m 45s
From PR #357 hackage-ci #901: Commit cebddd3 pushed by augustss
8m 20s master
master
8m 20s
From PR #357 MicroHs CI #1216: Commit cebddd3 pushed by augustss
2h 54m 18s master
master
2h 54m 18s
From PR #357 Linting #676: Commit cebddd3 pushed by augustss
32s master
master
32s
Version 0.15.0.0 hackage-ci #900: Commit dc29894 pushed by augustss
7m 43s master
master
7m 43s
Version 0.15.0.0 MicroHs CI #1215: Commit dc29894 pushed by augustss
7m 43s master
master
7m 43s
Version 0.15.0.0 Linting #675: Commit dc29894 pushed by augustss
32s master
master
32s
Regen hackage-ci #899: Commit 86eeaa1 pushed by augustss
7m 56s master
master
7m 56s
Regen Linting #674: Commit 86eeaa1 pushed by augustss
43s master
master
43s
Regen MicroHs CI #1214: Commit 86eeaa1 pushed by augustss
2h 54m 16s master
master
2h 54m 16s
Regen Linting #673: Commit b7e8196 pushed by augustss
38s localpoly2
localpoly2
38s
Regen MicroHs CI #1213: Commit b7e8196 pushed by augustss
2h 53m 34s localpoly2
localpoly2
2h 53m 34s
Regen hackage-ci #898: Commit b7e8196 pushed by augustss
7m 50s localpoly2
localpoly2
7m 50s
Fix some hlint complaints MicroHs CI #1212: Commit 2e41d0e pushed by augustss
3m 36s localpoly2
localpoly2
3m 36s