Skip to content

Actions: melange-re/melange-re.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
286 workflow runs
286 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #246: by github-pages bot
October 8, 2024 02:09 1m 36s gh-pages
gh-pages
October 8, 2024 02:09 1m 36s
pages build and deployment pages-build-deployment #245: by github-pages bot
October 8, 2024 01:57 1m 18s gh-pages
gh-pages
October 8, 2024 01:57 1m 18s
Update actions/checkout to v4 check and deploy docs and playground #27: Commit b6086fd pushed by feihong
October 8, 2024 01:56 12m 21s master
master
October 8, 2024 01:56 12m 21s
Update actions/checkout to v4 deploy blog #27: Commit b6086fd pushed by feihong
October 8, 2024 01:56 42s master
master
October 8, 2024 01:56 42s
pages build and deployment pages-build-deployment #244: by github-pages bot
October 8, 2024 01:45 1m 15s gh-pages
gh-pages
October 8, 2024 01:45 1m 15s
Add syntax highlighting and resources page to 4.0.0 branch (#194) publish-version #50: Commit aaaae25 pushed by feihong
October 8, 2024 01:32 13m 3s v4.0.0
v4.0.0
October 8, 2024 01:32 13m 3s
pages build and deployment pages-build-deployment #243: by github-pages bot
October 7, 2024 15:05 1m 32s gh-pages
gh-pages
October 7, 2024 15:05 1m 32s
pages build and deployment pages-build-deployment #242: by github-pages bot
October 7, 2024 14:54 1m 20s gh-pages
gh-pages
October 7, 2024 14:54 1m 20s
Syntax highlighting for opam snippets (#190) deploy blog #26: Commit 2eb5aa6 pushed by feihong
October 7, 2024 14:53 51s master
master
October 7, 2024 14:53 51s
Syntax highlighting for opam snippets (#190) check and deploy docs and playground #26: Commit 2eb5aa6 pushed by feihong
October 7, 2024 14:53 12m 20s master
master
October 7, 2024 14:53 12m 20s
pages build and deployment pages-build-deployment #241: by github-pages bot
October 3, 2024 16:48 1m 17s gh-pages
gh-pages
October 3, 2024 16:48 1m 17s
pages build and deployment pages-build-deployment #240: by github-pages bot
October 3, 2024 16:30 1m 23s gh-pages
gh-pages
October 3, 2024 16:30 1m 23s
Fix failing check-reason check and deploy docs and playground #25: Commit 1d70978 pushed by feihong
October 3, 2024 16:30 18m 15s master
master
October 3, 2024 16:30 18m 15s
Fix failing check-reason deploy blog #25: Commit 1d70978 pushed by feihong
October 3, 2024 16:30 44s master
master
October 3, 2024 16:30 44s
pages build and deployment pages-build-deployment #239: by github-pages bot
October 3, 2024 16:09 1m 23s gh-pages
gh-pages
October 3, 2024 16:09 1m 23s
Merge pull request #189 from melange-re/resources-page deploy blog #24: Commit 57f2b48 pushed by feihong
October 3, 2024 16:08 44s master
master
October 3, 2024 16:08 44s
Merge pull request #189 from melange-re/resources-page check and deploy docs and playground #24: Commit 57f2b48 pushed by feihong
October 3, 2024 16:08 16m 2s master
master
October 3, 2024 16:08 16m 2s
pages build and deployment pages-build-deployment #238: by github-pages bot
October 2, 2024 17:03 1m 18s gh-pages
gh-pages
October 2, 2024 17:03 1m 18s
Merge pull request #188 from melange-re/dune-syntax-hilite deploy blog #23: Commit b21f7c0 pushed by feihong
October 2, 2024 17:02 54s master
master
October 2, 2024 17:02 54s
Merge pull request #188 from melange-re/dune-syntax-hilite check and deploy docs and playground #23: Commit b21f7c0 pushed by feihong
October 2, 2024 17:02 19m 34s master
master
October 2, 2024 17:02 19m 34s
pages build and deployment pages-build-deployment #237: by jchavarri
September 10, 2024 06:52 1m 20s gh-pages
gh-pages
September 10, 2024 06:52 1m 20s
pages build and deployment pages-build-deployment #236: by jchavarri
September 10, 2024 06:49 1m 20s gh-pages
gh-pages
September 10, 2024 06:49 1m 20s
pages build and deployment pages-build-deployment #235: by github-pages bot
September 9, 2024 17:38 1m 27s gh-pages
gh-pages
September 9, 2024 17:38 1m 27s
publish-version publish-version #49: by jchavarri
September 9, 2024 17:26 12m 14s v4.0.0
v4.0.0
September 9, 2024 17:26 12m 14s
pages build and deployment pages-build-deployment #234: by jchavarri
September 9, 2024 17:24 1m 23s gh-pages
gh-pages
September 9, 2024 17:24 1m 23s