Skip to content

Actions: reasonml/reasonml.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #7: by github-pages bot
October 10, 2024 16:20 24s gh-pages
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
main
December 1, 2023 21:21 6m 45s
Generate docs on ci Build and Deploy #6: Commit 5c29c9d pushed by davesnx
November 3, 2023 22:12 6m 27s main
main
November 3, 2023 22:12 6m 27s
Generate docs on ci Build and Deploy #5: Commit 8f148cf pushed by davesnx
November 3, 2023 22:01 7m 3s main
main
November 3, 2023 22:01 7m 3s
Generate docs on ci Build and Deploy #4: Commit 66a9202 pushed by davesnx
November 3, 2023 21:48 5m 11s main
main
November 3, 2023 21:48 5m 11s
Generate docs on ci Build and Deploy #3: Commit 15039cc pushed by davesnx
November 3, 2023 21:47 26s main
main
November 3, 2023 21:47 26s
Push right website Build and Deploy #2: Commit 3b1b256 pushed by davesnx
November 3, 2023 21:41 44s main
main
November 3, 2023 21:41 44s
Add ci Build and Deploy #1: Commit 62a874f pushed by davesnx
November 3, 2023 21:39 14s main
main
November 3, 2023 21:39 14s