Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
395 workflow runs
395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #127: by github-pages bot
October 5, 2023 20:26 52s
October 5, 2023 20:26 52s
fix type hints for patterns publish-version #24: Commit 8530f27 pushed by jchavarri
October 5, 2023 20:26 20m 48s v2.0.0
v2.0.0
October 5, 2023 20:26 20m 48s
sinc melange and playground commits check and deploy #102: Commit f429592 pushed by jchavarri
October 5, 2023 20:24 20m 32s master
master
October 5, 2023 20:24 20m 32s
playground: show type hints when hovering on patterns check and deploy #101: Commit 64d65be pushed by jchavarri
October 5, 2023 20:07 22m 25s master
master
October 5, 2023 20:07 22m 25s
pages build and deployment pages-build-deployment #126: by github-pages bot
October 5, 2023 17:44 58s
October 5, 2023 17:44 58s
fix build by pointing to 2.0.0+typehints branch publish-version #23: Commit da3de15 pushed by jchavarri
October 5, 2023 17:22 25m 22s v2.0.0
v2.0.0
October 5, 2023 17:22 25m 22s
pages build and deployment pages-build-deployment #125: by github-pages bot
October 5, 2023 16:28 51s
October 5, 2023 16:28 51s
make sure we keep using v2 of the melange compiler publish-version #22: Commit 75871d1 pushed by jchavarri
October 5, 2023 16:20 10m 2s v2.0.0
v2.0.0
October 5, 2023 16:20 10m 2s
pages build and deployment pages-build-deployment #124: by github-pages bot
October 5, 2023 16:17 1m 17s
October 5, 2023 16:17 1m 17s
pages build and deployment pages-build-deployment #123: by github-pages bot
October 5, 2023 16:16 49s
October 5, 2023 16:16 49s
Merge branch 'master' into 2.0.0-patches publish-version #21: Commit 3fe8249 pushed by jchavarri
October 5, 2023 16:04 27m 33s v2.0.0
v2.0.0
October 5, 2023 16:04 27m 33s
Merge pull request #121 from melange-re/playground/fix-onload-error-m… check and deploy #100: Commit b66011f pushed by jchavarri
October 5, 2023 15:58 21m 56s master
master
October 5, 2023 15:58 21m 56s
Merge pull request #122 from melange-re/playground/type-hints check and deploy #99: Commit 4be989a pushed by jchavarri
October 5, 2023 15:53 26m 10s master
master
October 5, 2023 15:53 26m 10s
pages build and deployment pages-build-deployment #122: by github-pages bot
October 3, 2023 14:03 1m 3s
October 3, 2023 14:03 1m 3s
Merge pull request #117 from melange-re/opam-check-npm-deps check and deploy #98: Commit bcea58e pushed by jchavarri
October 3, 2023 13:29 37m 43s master
master
October 3, 2023 13:29 37m 43s
pages build and deployment pages-build-deployment #121: by github-pages bot
September 27, 2023 06:55 58s
September 27, 2023 06:55 58s
Merge pull request #119 from melange-re/Rename-reactjs-jsx-ppx check and deploy #97: Commit 851f406 pushed by davesnx
September 27, 2023 06:16 41m 22s master
master
September 27, 2023 06:16 41m 22s
pages build and deployment pages-build-deployment #120: by github-pages bot
September 18, 2023 07:04 51s
September 18, 2023 07:04 51s
pages build and deployment pages-build-deployment #119: by github-pages bot
September 18, 2023 06:48 52s
September 18, 2023 06:48 52s
fix link publish-version #20: Commit 276a6c2 pushed by jchavarri
September 18, 2023 06:45 21m 34s v2.0.0
v2.0.0
September 18, 2023 06:45 21m 34s
pages build and deployment pages-build-deployment #118: by github-pages bot
September 18, 2023 06:45 1m 0s
September 18, 2023 06:45 1m 0s
fix link check and deploy #96: Commit 276a6c2 pushed by jchavarri
September 18, 2023 06:27 24m 30s master
master
September 18, 2023 06:27 24m 30s
fix seo issues publish-version #19: Commit 2c746ab pushed by jchavarri
September 18, 2023 06:26 21m 29s v1.0.0
v1.0.0
September 18, 2023 06:26 21m 29s
pages build and deployment pages-build-deployment #117: by github-pages bot
September 17, 2023 21:27 1m 1s
September 17, 2023 21:27 1m 1s
add push publish-version #18: Commit dce690b pushed by jchavarri
September 17, 2023 21:10 20m 15s v1.0.0
v1.0.0
September 17, 2023 21:10 20m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-09-17 or the other filters available.