Skip to content

Actions: reasonml/reasonml.github.io

All workflows

Actions

Loading...

Showing runs from all workflows
20 workflow runs
20 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #5: by github-pages bot
March 21, 2024 14:08 44s
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
December 19, 2023 12:27 48s
pages build and deployment
pages-build-deployment #3: by github-pages bot
December 19, 2023 12:26 19s
December 19, 2023 12:26 19s
pages build and deployment
pages-build-deployment #2: by github-pages bot
December 19, 2023 12:24 39s
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
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
Generate docs on ci
Build and Deploy #6: Commit 5c29c9d pushed by davesnx
November 3, 2023 22:12 6m 27s 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
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
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
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
November 3, 2023 21:41 44s
Add ci
Build and Deploy #1: Commit 62a874f pushed by davesnx
November 3, 2023 21:39 14s main
November 3, 2023 21:39 14s