Skip to content

Change check_branch workflow to check for PRs to microjit#41

Merged
maximecb merged 1 commit intomicrojitfrom
ujit-pr-safety
Feb 16, 2021
Merged

Change check_branch workflow to check for PRs to microjit#41
maximecb merged 1 commit intomicrojitfrom
ujit-pr-safety

Commits

Commits on Feb 16, 2021