Skip to content

Actions: srid/ema

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Small fixes to sample code in tutorial (#165) CI #816: Commit 16e2752 pushed by srid
August 21, 2024 17:11 1m 56s master
master
August 21, 2024 17:11 1m 56s
docs: Small fixes to sample code in tutorial CI #815: Pull request #165 synchronize by srid
August 21, 2024 17:08 1m 49s rvl:tutorial-fixes
rvl:tutorial-fixes
August 21, 2024 17:08 1m 49s
ci: Use self-hosted for static site build CI #814: Commit aab624b pushed by srid
August 21, 2024 17:04 1m 40s master
master
August 21, 2024 17:04 1m 40s
ci: Use new labels CI #813: Commit 5b4d949 pushed by srid
August 21, 2024 16:38 6m 8s master
master
August 21, 2024 16:38 6m 8s
ci: Use omnix CI #812: Commit 7958b1c pushed by srid
August 19, 2024 00:59 1d 2h 3m 13s master
master
August 19, 2024 00:59 1d 2h 3m 13s
docs: Small fixes to sample code in tutorial CI #811: Pull request #165 opened by rvl
August 8, 2024 06:48 1d 11h 51m 2s rvl:tutorial-fixes
rvl:tutorial-fixes
August 8, 2024 06:48 1d 11h 51m 2s
Update ci.yaml CI #810: Commit d9e331e pushed by srid
March 24, 2024 19:44 7m 46s test
test
March 24, 2024 19:44 7m 46s
morphdom: update to latest (2.7.2) CI #809: Commit 51566e4 pushed by srid
March 10, 2024 20:10 3m 31s master
master
March 10, 2024 20:10 3m 31s
changelog: categorize CI #808: Commit 62f02ef pushed by srid
March 10, 2024 20:09 2m 41s master
master
March 10, 2024 20:09 2m 41s
ci: rm redundant? CI #807: Commit 891b6b3 pushed by srid
March 10, 2024 02:00 30s master
master
March 10, 2024 02:00 30s
ci: docs: add perms CI #806: Commit 3fbde64 pushed by srid
March 10, 2024 01:55 31s master
master
March 10, 2024 01:55 31s
ci: Try the new gh pages action CI #805: Commit fde951d pushed by srid
March 10, 2024 01:43 27s master
master
March 10, 2024 01:43 27s
ci: docs: build via Nix CI #804: Commit 92d1ad1 pushed by srid
March 10, 2024 01:34 55s master
master
March 10, 2024 01:34 55s
docs: Fix formatting CI #803: Commit 8aea19c pushed by srid
March 10, 2024 01:30 2m 26s master
master
March 10, 2024 01:30 2m 26s
ci: Add self-hosted runner (#164) CI #802: Commit 4bcb79f pushed by srid
February 23, 2024 20:10 24s master
master
February 23, 2024 20:10 24s
ci: Add self-hosted runner CI #801: Pull request #164 opened by srid
February 23, 2024 19:02 5m 37s ci-selfhosted
ci-selfhosted
February 23, 2024 19:02 5m 37s
ci: gh selfhosted CI #800: Pull request #163 synchronize by srid
February 13, 2024 18:54 1m 44s gh-selfhosted
gh-selfhosted
February 13, 2024 18:54 1m 44s
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
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
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): 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
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
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 CI #792: Pull request #152 synchronize by srid
November 26, 2023 01:49 3m 25s soficshift:customize-server
soficshift:customize-server
November 26, 2023 01:49 3m 25s