Skip to content

Merge pull request #423 from moonbitlang/hongbo/imm #1423

Merge pull request #423 from moonbitlang/hongbo/imm

Merge pull request #423 from moonbitlang/hongbo/imm #1423

Triggered via push May 22, 2024 10:22
Status Success
Total duration 57s
Artifacts

check.yml

on: push
cla-check
0s
cla-check
coverage-check-bleeding
14s
coverage-check-bleeding
typo-check
8s
typo-check
license-header-check
7s
license-header-check
Matrix: build
Fit to window
Zoom out
Zoom in