Skip to content
Lean Action CI

feat(MergeSort): Prove merge sort is stable #3072

Sign in to view logs

feat(MergeSort): Prove merge sort is stable

feat(MergeSort): Prove merge sort is stable #3072

This workflow is awaiting approval from a maintainer in #442
Triggered via pull request April 15, 2026 17:52
@Arleee1Arleee1
synchronize #442
Arleee1:mergestable
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #442

lean_action_ci.yml

on: pull_request
ci-checks
ci-checks
Fit to window
Zoom out
Zoom in