Skip to content

Actions: rescript-lang/rescript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Narrow polymorphic variant row at ...rest catch-all CI #10002: Pull request #8382 opened by jfrolich
23m 4s jfrolich:poly-narrowing
jfrolich:poly-narrowing
23m 4s
Remove Primitive_option.toUndefined; use valFromOption for optional ffi args CI #10001: Pull request #8380 opened by cknitt
20m 14s remove-undefined
remove-undefined
20m 14s
PR #8380 CodeQL #232: by cknitt
3m 9s refs/pull/8380/head
refs/pull/8380/head
3m 9s
Code Quality: PR #8380 CodeQL #231: by cknitt
1m 22s refs/pull/8380/head
refs/pull/8380/head
1m 22s
Remove Belt xxxUndefined API (#8377) CI #10000: Commit bcc333c pushed by cknitt
22m 54s master
master
22m 54s
Code Quality: Push on master CodeQL #230: by github-advanced-security AI
1m 43s master
master
1m 43s
Push on master CodeQL #229: by github-advanced-security AI
3m 48s master
master
3m 48s
Multi Entry Paths CI #9999: Pull request #8367 synchronize by rolandpeelen
17m 35s multi-entry-paths
multi-entry-paths
17m 35s
Code Quality: PR #8367 CodeQL #228: by rolandpeelen
1m 16s refs/pull/8367/head
refs/pull/8367/head
1m 16s
PR #8367 CodeQL #227: by rolandpeelen
3m 15s refs/pull/8367/head
refs/pull/8367/head
3m 15s
Remove Belt xxxUndefined API CI #9998: Pull request #8377 opened by cknitt
20m 55s remove-undefined
remove-undefined
20m 55s
PR #8377 CodeQL #226: by cknitt
3m 18s refs/pull/8377/head
refs/pull/8377/head
3m 18s
Code Quality: PR #8377 CodeQL #225: by cknitt
1m 16s refs/pull/8377/head
refs/pull/8377/head
1m 16s
Remove deprecated %external extension (#8376) CI #9997: Commit 28a0123 pushed by cknitt
24m 12s master
master
24m 12s
Code Quality: Push on master CodeQL #224: by cknitt
1m 24s master
master
1m 24s
Push on master CodeQL #223: by cknitt
3m 24s master
master
3m 24s
Close stale issues Close stale issues #598: Scheduled
12s master
master
12s
Cleanup Stale Branches Cleanup Stale Branches #85: Scheduled
23s master
master
23s
Rewatch: replace wave scheduler with DAG + critical-path priority CI #9996: Pull request #8374 synchronize by jfrolich
31m 28s jfrolich:no-waves
jfrolich:no-waves
31m 28s
Remove deprecated %external extension CI #9995: Pull request #8376 synchronize by cknitt
9m 34s remove-external-extension
remove-external-extension
9m 34s
PR #8376 CodeQL #222: by cknitt
3m 15s refs/pull/8376/head
refs/pull/8376/head
3m 15s
Code Quality: PR #8376 CodeQL #221: by cknitt
1m 18s refs/pull/8376/head
refs/pull/8376/head
1m 18s
Remove deprecated %external extension CI #9994: Pull request #8376 opened by cknitt
23m 21s remove-external-extension
remove-external-extension
23m 21s
[PoC] Explore dedicated linting for AI CI #9993: Pull request #8351 synchronize by zth
19m 48s rescript-ai
rescript-ai
19m 48s
Code Quality: PR #8351 CodeQL #220: by zth
1m 22s refs/pull/8351/head
refs/pull/8351/head
1m 22s