Skip to content

Actions: srid/ema

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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
pages build and deployment pages-build-deployment #97: by github-pages bot
December 11, 2023 21:30 32s gh-pages
gh-pages
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 gh-pages
gh-pages
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