Skip to content

Merge pull request #4548 from xuwei-k/MonadOps-FunctionKMacros-dir #837

Merge pull request #4548 from xuwei-k/MonadOps-FunctionKMacros-dir

Merge pull request #4548 from xuwei-k/MonadOps-FunctionKMacros-dir #837

Triggered via push January 9, 2024 13:32
Status Success
Total duration 16s
Artifacts

clean.yml

on: push
Delete Artifacts
3s
Delete Artifacts
Fit to window
Zoom out
Zoom in