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 #108: by github-pages bot
February 23, 2024 20:11 26s
February 23, 2024 20:11 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 (#164) Publish #238: Commit 4bcb79f pushed by srid
February 23, 2024 20:10 42s master
master
February 23, 2024 20:10 42s
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
pages build and deployment pages-build-deployment #107: by github-pages bot
February 9, 2024 13:19 31s
February 9, 2024 13:19 31s
Live server: allow pathname in anchor links (#162) Publish #237: Commit e3539dd pushed by srid
February 9, 2024 13:19 27s master
master
February 9, 2024 13:19 27s
pages build and deployment pages-build-deployment #106: by github-pages bot
February 9, 2024 12:56 30s
February 9, 2024 12:56 30s
Add --no-ws to disable websocket handling in live server (#161) Publish #236: Commit 33e9877 pushed by srid
February 9, 2024 12:55 32s master
master
February 9, 2024 12:55 32s
pages build and deployment pages-build-deployment #105: by github-pages bot
February 9, 2024 12:52 34s
February 9, 2024 12:52 34s
nix: Update all inputs Publish #235: Commit 61de31d pushed by srid
February 9, 2024 12:51 30s master
master
February 9, 2024 12:51 30s
pages build and deployment pages-build-deployment #104: by github-pages bot
December 27, 2023 19:28 30s
December 27, 2023 19:28 30s
readme: coc Publish #234: Commit 577f474 pushed by srid
December 27, 2023 19:28 31s master
master
December 27, 2023 19:28 31s
pages build and deployment pages-build-deployment #103: by github-pages bot
December 27, 2023 01:09 25s
December 27, 2023 01:09 25s
examples: fix link Publish #233: Commit 5546fa1 pushed by srid
December 27, 2023 01:08 28s master
master
December 27, 2023 01:08 28s
pages build and deployment pages-build-deployment #102: by github-pages bot
December 11, 2023 22:24 34s
December 11, 2023 22:24 34s
api: Rename siteConfigWebSocketOptions Publish #232: Commit eabd176 pushed by srid
December 11, 2023 22:23 36s master
master
December 11, 2023 22:23 36s
pages build and deployment pages-build-deployment #101: by github-pages bot
December 11, 2023 22:12 1m 5s
December 11, 2023 22:12 1m 5s
api: Rename to EmaWebSocketOptions Publish #231: Commit a533a63 pushed by srid
December 11, 2023 22:11 34s master
master
December 11, 2023 22:11 34s
pages build and deployment pages-build-deployment #100: by github-pages bot
December 11, 2023 22:08 37s
December 11, 2023 22:08 37s
refactor: Create WebSocket.Options module Publish #230: Commit 870f664 pushed by srid
December 11, 2023 22:07 29s master
master
December 11, 2023 22:07 29s
pages build and deployment pages-build-deployment #99: by github-pages bot
December 11, 2023 21:58 38s
December 11, 2023 21:58 38s
refactor: split Ema.Server Publish #229: Commit 3b8367b pushed by srid
December 11, 2023 21:58 29s master
master
December 11, 2023 21:58 29s
pages build and deployment pages-build-deployment #98: by github-pages bot
December 11, 2023 21:37 38s
December 11, 2023 21:37 38s
Ema.CLI.Action: unGADTify (#160) Publish #228: Commit 089c5fa pushed by srid
December 11, 2023 21:37 31s master
master
December 11, 2023 21:37 31s