Skip to content

Actions: merchantmoh-debug/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by merchantmoh-debug
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by merchantmoh-debug
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by merchantmoh-debug
1s
1s
Merge pull request #7 from merchantmoh-debug/ark/palette-timem-merges… Run TODO to Issue #5: Commit 7c79afd pushed by merchantmoh-debug
15s main
main
15s
Merge pull request #7 from merchantmoh-debug/ark/palette-timem-merges… Lean Action CI #10: Commit 7c79afd pushed by merchantmoh-debug
5s main
main
5s
Merge pull request #7 from merchantmoh-debug/ark/palette-timem-merges… Build and Deploy Documentation #5: Commit 7c79afd pushed by merchantmoh-debug
1s main
main
1s
fix: manually sync CslibTests.lean manifest and consolidate features Check PR title for commit convention #5: Pull request #7 synchronize by merchantmoh-debug
7s ark/palette-timem-mergesort-docs-15026527581941348282
ark/palette-timem-mergesort-docs-15026527581941348282
7s
fix: manually sync CslibTests.lean manifest and consolidate features Lean Action CI #9: Pull request #7 synchronize by merchantmoh-debug
1m 34s ark/palette-timem-mergesort-docs-15026527581941348282
ark/palette-timem-mergesort-docs-15026527581941348282
1m 34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by merchantmoh-debug
1s
1s
Merge pull request #6 from merchantmoh-debug/feature/verified-algorithms Run TODO to Issue #4: Commit 1b1421b pushed by merchantmoh-debug
13s main
main
13s
Merge pull request #6 from merchantmoh-debug/feature/verified-algorithms Lean Action CI #8: Commit 1b1421b pushed by merchantmoh-debug
1m 39s main
main
1m 39s
Merge pull request #6 from merchantmoh-debug/feature/verified-algorithms Build and Deploy Documentation #4: Commit 1b1421b pushed by merchantmoh-debug
1s main
main
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by merchantmoh-debug
1s
1s
feat(cslib): Sovereign Release Candidate - Fixes for QuickSort, SAT, … Check PR title for commit convention #4: Pull request #6 synchronize by merchantmoh-debug
8s feature/verified-algorithms
feature/verified-algorithms
8s
feat(cslib): Sovereign Release Candidate - Fixes for QuickSort, SAT, … Lean Action CI #7: Pull request #6 synchronize by merchantmoh-debug
1m 36s feature/verified-algorithms
feature/verified-algorithms
1m 36s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by merchantmoh-debug
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by merchantmoh-debug
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by merchantmoh-debug
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by merchantmoh-debug
1s
1s
Merge pull request #5 from merchantmoh-debug/jules-sovereign-quicksor… Build and Deploy Documentation #3: Commit 79ec82b pushed by merchantmoh-debug
1s main
main
1s
Merge pull request #5 from merchantmoh-debug/jules-sovereign-quicksor… Lean Action CI #6: Commit 79ec82b pushed by merchantmoh-debug
1m 37s main
main
1m 37s
Merge pull request #5 from merchantmoh-debug/jules-sovereign-quicksor… Run TODO to Issue #3: Commit 79ec82b pushed by merchantmoh-debug
16s main
main
16s
Jules sovereign quicksort 15401975156419303195 Check PR title for commit convention #3: Pull request #5 opened by merchantmoh-debug
8s jules-sovereign-quicksort-15401975156419303195
jules-sovereign-quicksort-15401975156419303195
8s
Jules sovereign quicksort 15401975156419303195 Lean Action CI #5: Pull request #5 opened by merchantmoh-debug
1m 33s jules-sovereign-quicksort-15401975156419303195
jules-sovereign-quicksort-15401975156419303195
1m 33s
Merge pull request #4 from merchantmoh-debug/ark/palette-timem-merges… Lean Action CI #4: Commit 34da303 pushed by merchantmoh-debug
1m 37s main
main
1m 37s