Skip to content

Actions: pi8027/stablesort

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the build instruction Nix CI for bundle 8.18 #51: Pull request #26 opened by pi8027
June 20, 2024 12:06 28s
June 20, 2024 12:06 28s
Equivalence with usual stability Docker CI #118: Pull request #20 synchronize by pi8027
June 7, 2024 14:47 35m 36s usual_stable
usual_stable
June 7, 2024 14:47 35m 36s
Equivalence with usual stability Nix CI for bundle 8.18 #50: Pull request #20 synchronize by pi8027
June 7, 2024 14:47 5m 29s
June 7, 2024 14:47 5m 29s
Equivalence with usual stability Docker CI #117: Pull request #20 synchronize by pi8027
June 7, 2024 13:02 1h 4m 22s usual_stable
usual_stable
June 7, 2024 13:02 1h 4m 22s
Equivalence with usual stability Nix CI for bundle 8.18 #49: Pull request #20 synchronize by pi8027
June 7, 2024 13:02 34m 19s
June 7, 2024 13:02 34m 19s
Remove workaround for coq/coq#3488 Docker CI #116: Pull request #18 synchronize by pi8027
June 7, 2024 12:35 1h 6m 15s fix-simpl-mutual-rec
fix-simpl-mutual-rec
June 7, 2024 12:35 1h 6m 15s
Remove workaround for coq/coq#3488 Nix CI for bundle 8.18 #48: Pull request #18 synchronize by pi8027
June 7, 2024 12:35 36m 20s
June 7, 2024 12:35 36m 20s
Merge pull request #25 from pi8027/topdown-tailrec Nix CI for bundle 8.18 #47: Commit d86a047 pushed by pi8027
June 7, 2024 12:34 20m 32s master
master
June 7, 2024 12:34 20m 32s
Merge pull request #25 from pi8027/topdown-tailrec Docker CI #115: Commit d86a047 pushed by pi8027
June 7, 2024 12:34 32m 27s master
master
June 7, 2024 12:34 32m 27s
Add top-down tail-recursive mergesort Docker CI #114: Pull request #25 synchronize by pi8027
June 6, 2024 11:02 35m 50s topdown-tailrec
topdown-tailrec
June 6, 2024 11:02 35m 50s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #46: Pull request #25 synchronize by pi8027
June 6, 2024 11:02 6m 54s
June 6, 2024 11:02 6m 54s
Add top-down tail-recursive mergesort Docker CI #113: Pull request #25 synchronize by pi8027
June 4, 2024 09:10 34m 23s topdown-tailrec
topdown-tailrec
June 4, 2024 09:10 34m 23s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #45: Pull request #25 synchronize by pi8027
June 4, 2024 09:10 5m 14s
June 4, 2024 09:10 5m 14s
Add top-down tail-recursive mergesort Docker CI #112: Pull request #25 synchronize by pi8027
June 3, 2024 13:17 34m 41s topdown-tailrec
topdown-tailrec
June 3, 2024 13:17 34m 41s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #44: Pull request #25 synchronize by pi8027
June 3, 2024 13:17 5m 39s
June 3, 2024 13:17 5m 39s
Add top-down tail-recursive mergesort Docker CI #111: Pull request #25 synchronize by pi8027
June 3, 2024 13:11 3m 6s topdown-tailrec
topdown-tailrec
June 3, 2024 13:11 3m 6s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #43: Pull request #25 synchronize by pi8027
June 3, 2024 13:11 3m 17s
June 3, 2024 13:11 3m 17s
Add top-down tail-recursive mergesort Docker CI #110: Pull request #25 synchronize by pi8027
May 28, 2024 15:00 6m 14s topdown-tailrec
topdown-tailrec
May 28, 2024 15:00 6m 14s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #42: Pull request #25 synchronize by pi8027
May 28, 2024 15:00 4m 14s
May 28, 2024 15:00 4m 14s
Add top-down tail-recursive mergesort Docker CI #109: Pull request #25 synchronize by pi8027
May 28, 2024 14:52 5m 5s topdown-tailrec
topdown-tailrec
May 28, 2024 14:52 5m 5s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #41: Pull request #25 synchronize by pi8027
May 28, 2024 14:52 3m 35s
May 28, 2024 14:52 3m 35s
Add top-down tail-recursive mergesort Docker CI #108: Pull request #25 synchronize by pi8027
May 28, 2024 14:45 5m 46s topdown-tailrec
topdown-tailrec
May 28, 2024 14:45 5m 46s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #40: Pull request #25 synchronize by pi8027
May 28, 2024 14:45 4m 6s
May 28, 2024 14:45 4m 6s
Add top-down tail-recursive mergesort Docker CI #107: Pull request #25 opened by pi8027
May 14, 2024 15:26 5m 45s topdown-tailrec
topdown-tailrec
May 14, 2024 15:26 5m 45s
Add top-down tail-recursive mergesort Nix CI for bundle 8.18 #39: Pull request #25 opened by pi8027
May 14, 2024 15:26 5m 1s
May 14, 2024 15:26 5m 1s