Skip to content

Actions: srid/ema

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #97: by github-pages bot
December 11, 2023 21:30 32s
December 11, 2023 21:30 32s
github-ci: Remove Publish #227: Commit 3ed20ef pushed by srid
December 11, 2023 21:30 27s master
master
December 11, 2023 21:30 27s
Ema.CLI.Action: unGADTify CI #799: Pull request #160 synchronize by srid
December 11, 2023 21:28 2m 14s kill-gadt
kill-gadt
December 11, 2023 21:28 2m 14s
pages build and deployment pages-build-deployment #96: by github-pages bot
December 11, 2023 21:27 28s
December 11, 2023 21:27 28s
jenkins: init Publish #226: Commit f17fc63 pushed by srid
December 11, 2023 21:27 29s master
master
December 11, 2023 21:27 29s
jenkins: init CI #798: Commit f17fc63 pushed by srid
December 11, 2023 21:27 2m 13s master
master
December 11, 2023 21:27 2m 13s
Ema.CLI.Action: unGADTify CI #797: Pull request #160 opened by srid
December 11, 2023 21:24 3m 48s kill-gadt
kill-gadt
December 11, 2023 21:24 3m 48s
pages build and deployment pages-build-deployment #95: by github-pages bot
December 11, 2023 20:04 30s
December 11, 2023 20:04 30s
refactor(Server.hs): pass only what's required CI #796: Commit 37b908f pushed by srid
December 11, 2023 20:04 3m 15s master
master
December 11, 2023 20:04 3m 15s
refactor(Server.hs): pass only what's required Publish #225: Commit 37b908f pushed by srid
December 11, 2023 20:04 38s master
master
December 11, 2023 20:04 38s
pages build and deployment pages-build-deployment #94: by github-pages bot
December 11, 2023 19:54 36s
December 11, 2023 19:54 36s
refactor(Server.hs): split functions out of where clause; add typesigs CI #795: Commit 23a35e2 pushed by srid
December 11, 2023 19:54 3m 24s master
master
December 11, 2023 19:54 3m 24s
refactor(Server.hs): split functions out of where clause; add typesigs Publish #224: Commit 23a35e2 pushed by srid
December 11, 2023 19:54 37s master
master
December 11, 2023 19:54 37s
pages build and deployment pages-build-deployment #93: by github-pages bot
November 26, 2023 01:57 32s
November 26, 2023 01:57 32s
ema: changelog and version Publish #223: Commit 0371c6c pushed by srid
November 26, 2023 01:55 1m 16s master
master
November 26, 2023 01:55 1m 16s
ema: changelog and version CI #794: Commit 0371c6c pushed by srid
November 26, 2023 01:55 3m 42s master
master
November 26, 2023 01:55 3m 42s
pages build and deployment pages-build-deployment #92: by github-pages bot
November 26, 2023 01:55 33s
November 26, 2023 01:55 33s
Live server shim/websocket customization (#152) CI #793: Commit 9dad6e6 pushed by srid
November 26, 2023 01:54 3m 19s master
master
November 26, 2023 01:54 3m 19s
Live server shim/websocket customization (#152) Publish #222: Commit 9dad6e6 pushed by srid
November 26, 2023 01:54 1m 15s master
master
November 26, 2023 01:54 1m 15s
Live server shim/websocket customization CI #792: Pull request #152 synchronize by srid
November 26, 2023 01:49 3m 25s sophicshift:customize-server
sophicshift:customize-server
November 26, 2023 01:49 3m 25s
Live server shim/websocket customization CI #791: Pull request #152 synchronize by srid
November 26, 2023 01:40 3m 20s sophicshift:customize-server
sophicshift:customize-server
November 26, 2023 01:40 3m 20s
Live server shim/websocket customization CI #790: Pull request #152 synchronize by srid
November 26, 2023 01:15 3m 17s sophicshift:customize-server
sophicshift:customize-server
November 26, 2023 01:15 3m 17s
pages build and deployment pages-build-deployment #91: by github-pages bot
November 25, 2023 17:25 31s
November 25, 2023 17:25 31s
ci: Use nixci CI #789: Commit 8a9e465 pushed by srid
November 25, 2023 17:24 3m 18s master
master
November 25, 2023 17:24 3m 18s
ci: Use nixci Publish #221: Commit 8a9e465 pushed by srid
November 25, 2023 17:24 1m 20s master
master
November 25, 2023 17:24 1m 20s