Skip to content

Actions: rescript-lang/rescript-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
999 workflow runs
999 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(ci): add node 21.x to build matrix Node.js CI #433: Commit 87227b7 pushed by zth
November 9, 2023 21:11 26s main
main
November 9, 2023 21:11 26s
chore(ci): add node 21.x to build matrix Style Check #313: Commit 87227b7 pushed by zth
November 9, 2023 21:11 19s main
main
November 9, 2023 21:11 19s
chore(ci): add node 21.x to build matrix Node.js CI #432: Pull request #160 opened by glennsl
November 9, 2023 20:59 24s glennsl:patch-2
glennsl:patch-2
November 9, 2023 20:59 24s
chore(ci): add node 21.x to build matrix Style Check #312: Pull request #160 opened by glennsl
November 9, 2023 20:59 20s glennsl:patch-2
glennsl:patch-2
November 9, 2023 20:59 20s
Changelog Style Check #310: Commit 0e88d7e pushed by zth
November 3, 2023 13:27 23s main
main
November 3, 2023 13:27 23s
Changelog Node.js CI #430: Commit 0e88d7e pushed by zth
November 3, 2023 13:27 20s main
main
November 3, 2023 13:27 20s
Only allow to join actual strings with Array.joinWith Node.js CI #429: Pull request #157 synchronize by fhammerschmidt
November 3, 2023 13:25 27s fhammerschmidt:join-with-unsafe
fhammerschmidt:join-with-unsafe
November 3, 2023 13:25 27s
Only allow to join actual strings with Array.joinWith Style Check #309: Pull request #157 synchronize by fhammerschmidt
November 3, 2023 13:25 24s fhammerschmidt:join-with-unsafe
fhammerschmidt:join-with-unsafe
November 3, 2023 13:25 24s
Add protect function, as alternative to missing try finally construct Style Check #308: Pull request #155 synchronize by glennsl
October 30, 2023 13:23 21s glennsl:patch-1
glennsl:patch-1
October 30, 2023 13:23 21s
Add protect function, as alternative to missing try finally construct Node.js CI #428: Pull request #155 synchronize by glennsl
October 30, 2023 13:23 29s glennsl:patch-1
glennsl:patch-1
October 30, 2023 13:23 29s
Only allow to join actual strings with Array.joinWith Style Check #307: Pull request #157 synchronize by fhammerschmidt
October 27, 2023 16:42 21s fhammerschmidt:join-with-unsafe
fhammerschmidt:join-with-unsafe
October 27, 2023 16:42 21s
Only allow to join actual strings with Array.joinWith Node.js CI #427: Pull request #157 synchronize by fhammerschmidt
October 27, 2023 16:42 31s fhammerschmidt:join-with-unsafe
fhammerschmidt:join-with-unsafe
October 27, 2023 16:42 31s
Only allow to join actual strings with Array.joinWith Node.js CI #426: Pull request #157 opened by fhammerschmidt
October 27, 2023 16:30 24s fhammerschmidt:join-with-unsafe
fhammerschmidt:join-with-unsafe
October 27, 2023 16:30 24s
Only allow to join actual strings with Array.joinWith Style Check #306: Pull request #157 opened by fhammerschmidt
October 27, 2023 16:30 24s fhammerschmidt:join-with-unsafe
fhammerschmidt:join-with-unsafe
October 27, 2023 16:30 24s
Minor changes Style Check #305: Commit 9584dc6 pushed by zth
October 27, 2023 07:51 30s main
main
October 27, 2023 07:51 30s
Minor changes Node.js CI #425: Commit 9584dc6 pushed by zth
October 27, 2023 07:51 28s main
main
October 27, 2023 07:51 28s
Add protect function, as alternative to missing try finally construct Node.js CI #418: Pull request #155 opened by glennsl
October 12, 2023 08:44 26s glennsl:patch-1
glennsl:patch-1
October 12, 2023 08:44 26s
Add protect function, as alternative to missing try finally construct Style Check #298: Pull request #155 opened by glennsl
October 12, 2023 08:44 28s glennsl:patch-1
glennsl:patch-1
October 12, 2023 08:44 28s
Fix Array.splice transformation Style Check #297: Commit 106a882 pushed by zth
October 11, 2023 12:44 9m 51s main
main
October 11, 2023 12:44 9m 51s
Fix Array.splice transformation Node.js CI #417: Commit 106a882 pushed by zth
October 11, 2023 12:44 5m 4s main
main
October 11, 2023 12:44 5m 4s
chore(ci): update node matrix Node.js CI #414: Commit da1327e pushed by zth
September 28, 2023 20:15 24s main
main
September 28, 2023 20:15 24s
chore(ci): update node matrix Style Check #294: Commit da1327e pushed by zth
September 28, 2023 20:15 22s main
main
September 28, 2023 20:15 22s
chore(ci): update node matrix Style Check #293: Pull request #153 opened by glennsl
September 28, 2023 19:57 30s glennsl:patch-1
glennsl:patch-1
September 28, 2023 19:57 30s
chore(ci): update node matrix Node.js CI #413: Pull request #153 opened by glennsl
September 28, 2023 19:57 30s glennsl:patch-1
glennsl:patch-1
September 28, 2023 19:57 30s
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.