Skip to content

Actions: reasonml/reasonml.github.io

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #10: by github-pages bot
February 6, 2025 14:48 27s gh-pages
February 6, 2025 14:48 27s
pages build and deployment
pages-build-deployment #9: by github-pages bot
February 6, 2025 14:48 27s gh-pages
February 6, 2025 14:48 27s
pages build and deployment
pages-build-deployment #8: by github-pages bot
February 6, 2025 14:47 25s gh-pages
February 6, 2025 14:47 25s
Merge pull request #770 from hyp3rflow/patch-1
Build and Deploy #21: Commit 3aabb81 pushed by davesnx
February 6, 2025 14:43 5m 36s source
February 6, 2025 14:43 5m 36s
Merge pull request #775 from sdaigo/patch-1
Build and Deploy #20: Commit 0c8e626 pushed by davesnx
February 6, 2025 14:42 5m 44s source
February 6, 2025 14:42 5m 44s
Merge pull request #780 from aspectivo/source
Build and Deploy #19: Commit e0fff4a pushed by davesnx
February 6, 2025 14:42 5m 51s source
February 6, 2025 14:42 5m 51s
Merge pull request #787 from Yewzir/patch-1
Build and Deploy #18: Commit b65633c pushed by davesnx
February 6, 2025 14:41 5m 46s source
February 6, 2025 14:41 5m 46s
pages build and deployment
pages-build-deployment #7: by github-pages bot
October 10, 2024 16:20 24s gh-pages
October 10, 2024 16:20 24s
Merge pull request #778 from ASRagab/aragab/update-installation-docs
Build and Deploy #17: Commit 3646db5 pushed by davesnx
October 10, 2024 16:14 5m 46s source
October 10, 2024 16:14 5m 46s
pages build and deployment
pages-build-deployment #6: by github-pages bot
September 18, 2024 14:09 27s gh-pages
September 18, 2024 14:09 27s
Merge pull request #786 from MariaAbadi/patch-2
Build and Deploy #16: Commit 6cadf2e pushed by davesnx
September 18, 2024 14:03 6m 28s source
September 18, 2024 14:03 6m 28s
pages build and deployment
pages-build-deployment #5: by github-pages bot
March 21, 2024 14:08 44s gh-pages
March 21, 2024 14:08 44s
Merge pull request #777 from Pagepro/add-pagepro-logo
Build and Deploy #15: Commit 80b2d17 pushed by davesnx
March 21, 2024 14:02 5m 51s source
March 21, 2024 14:02 5m 51s
pages build and deployment
pages-build-deployment #4: by github-pages bot
December 19, 2023 12:27 48s gh-pages
December 19, 2023 12:27 48s
pages build and deployment
pages-build-deployment #3: by github-pages bot
December 19, 2023 12:26 19s gh-pages
December 19, 2023 12:26 19s
pages build and deployment
pages-build-deployment #2: by github-pages bot
December 19, 2023 12:24 39s gh-pages
December 19, 2023 12:24 39s
Merge pull request #773 from reasonml/davesnx-patch-3
Build and Deploy #14: Commit 7558549 pushed by davesnx
December 19, 2023 12:20 6m 41s source
December 19, 2023 12:20 6m 41s
Merge pull request #772 from reasonml/davesnx-patch-2
Build and Deploy #13: Commit 69946f8 pushed by davesnx
December 19, 2023 12:20 6m 35s source
December 19, 2023 12:20 6m 35s
Merge pull request #771 from reasonml/davesnx-patch-1
Build and Deploy #12: Commit 6475166 pushed by davesnx
December 19, 2023 12:18 6m 45s source
December 19, 2023 12:18 6m 45s
pages build and deployment
pages-build-deployment #1: by davesnx
December 2, 2023 03:25 43s gh-pages
December 2, 2023 03:25 43s
Remove circleci cfg
Build and Deploy #11: Commit 74e5f2c pushed by davesnx
December 2, 2023 03:19 6m 33s source
December 2, 2023 03:19 6m 33s
Make source the main branch
Build and Deploy #10: Commit 49d20af pushed by davesnx
December 1, 2023 23:00 6m 35s source
December 1, 2023 23:00 6m 35s
Make source the main branch
Build and Deploy #9: Commit 11a6bd3 pushed by davesnx
December 1, 2023 22:24 6m 44s source
December 1, 2023 22:24 6m 44s
De prio reasonconf us
Build and Deploy #8: Commit 5e2b132 pushed by davesnx
December 1, 2023 22:02 6m 45s main
December 1, 2023 22:02 6m 45s
Remove comments on ciyml
Build and Deploy #7: Commit 13355cb pushed by davesnx
December 1, 2023 21:21 6m 45s main
December 1, 2023 21:21 6m 45s