Skip to content

CI: Add profile to matrix - #138

Draft
tov wants to merge 1 commit into
janestreet:masterfrom
tov:matrix-profile
Draft

tov wants to merge 1 commit into
janestreet:masterfrom
tov:matrix-profile

CI: Add profile to matrix.

c724a4d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs