Skip to content

Actions: pi8027/stablesort

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Equivalence with usual stability
Docker CI #136: Pull request #20 synchronize by pi8027
February 14, 2025 20:15 14m 29s usual_stable
February 14, 2025 20:15 14m 29s
Equivalence with usual stability
Nix CI for bundle 8.18 #70: Pull request #20 synchronize by pi8027
February 14, 2025 20:15 9m 31s
February 14, 2025 20:15 9m 31s
Equivalence with usual stability
Docker CI #135: Pull request #20 synchronize by pi8027
February 14, 2025 12:20 31m 34s usual_stable
February 14, 2025 12:20 31m 34s
Equivalence with usual stability
Nix CI for bundle 8.18 #69: Pull request #20 synchronize by pi8027
February 14, 2025 12:20 27m 0s
February 14, 2025 12:20 27m 0s
Remove workaround for coq/coq#3488
Docker CI #134: Pull request #18 synchronize by pi8027
February 14, 2025 12:19 21m 5s fix-simpl-mutual-rec
February 14, 2025 12:19 21m 5s
Remove workaround for coq/coq#3488
Nix CI for bundle 8.18 #68: Pull request #18 synchronize by pi8027
February 14, 2025 12:19 27m 34s
February 14, 2025 12:19 27m 34s
Merge pull request #29 from pi8027/count_sort_args
Nix CI for bundle 8.18 #67: Commit a6d200c pushed by pi8027
February 14, 2025 12:17 29m 16s master
February 14, 2025 12:17 29m 16s
Merge pull request #29 from pi8027/count_sort_args
Docker CI #133: Commit a6d200c pushed by pi8027
February 14, 2025 12:17 14m 38s master
February 14, 2025 12:17 14m 38s
Change the order of arguments of count_sort to align with MathComp
Docker CI #132: Pull request #29 synchronize by pi8027
February 13, 2025 18:07 14m 54s count_sort_args
February 13, 2025 18:07 14m 54s
Change the order of arguments of count_sort to align with MathComp
Nix CI for bundle 8.18 #66: Pull request #29 synchronize by pi8027
February 13, 2025 18:07 9m 46s
February 13, 2025 18:07 9m 46s
Change the order of arguments of count_sort to align with MathComp
Nix CI for bundle 8.18 #65: Pull request #29 opened by pi8027
February 13, 2025 17:41 10m 18s
February 13, 2025 17:41 10m 18s
Change the order of arguments of count_sort to align with MathComp
Docker CI #131: Pull request #29 opened by pi8027
February 13, 2025 17:41 6m 30s count_sort_args
February 13, 2025 17:41 6m 30s
Remove workaround for coq/coq#3488
Docker CI #130: Pull request #18 synchronize by pi8027
September 11, 2024 13:29 15m 21s fix-simpl-mutual-rec
September 11, 2024 13:29 15m 21s
Remove workaround for coq/coq#3488
Nix CI for bundle 8.18 #64: Pull request #18 synchronize by pi8027
September 11, 2024 13:29 12m 21s
September 11, 2024 13:29 12m 21s
Merge pull request #28 from pi8027/ci
Docker CI #129: Commit 58f7c8a pushed by pi8027
September 11, 2024 13:27 10m 24s master
September 11, 2024 13:27 10m 24s
Merge pull request #28 from pi8027/ci
Nix CI for bundle 8.18 #63: Commit 58f7c8a pushed by pi8027
September 11, 2024 13:27 8m 29s master
September 11, 2024 13:27 8m 29s
Update CI
Docker CI #128: Pull request #28 opened by pi8027
September 11, 2024 13:07 10m 16s ci
ci
September 11, 2024 13:07 10m 16s
Update CI
Nix CI for bundle 8.18 #62: Pull request #28 opened by pi8027
September 11, 2024 13:07 8m 19s
September 11, 2024 13:07 8m 19s
Equivalence with usual stability
Docker CI #127: Pull request #20 synchronize by pi8027
June 20, 2024 14:05 7m 59s usual_stable
June 20, 2024 14:05 7m 59s
Equivalence with usual stability
Nix CI for bundle 8.18 #61: Pull request #20 synchronize by pi8027
June 20, 2024 14:05 6m 1s
June 20, 2024 14:05 6m 1s
Merge pull request #26 from pi8027/build
Docker CI #126: Commit 7ff4e44 pushed by pi8027
June 20, 2024 14:05 5m 56s master
June 20, 2024 14:05 5m 56s
Merge pull request #26 from pi8027/build
Nix CI for bundle 8.18 #60: Commit 7ff4e44 pushed by pi8027
June 20, 2024 14:05 3m 55s master
June 20, 2024 14:05 3m 55s
Fix the build instruction
Docker CI #125: Pull request #26 synchronize by pi8027
June 20, 2024 13:58 5m 53s build
June 20, 2024 13:58 5m 53s
Fix the build instruction
Nix CI for bundle 8.18 #59: Pull request #26 synchronize by pi8027
June 20, 2024 13:58 3m 58s
June 20, 2024 13:58 3m 58s
Fix the build instruction
Docker CI #124: Pull request #26 synchronize by pi8027
June 20, 2024 13:48 8m 29s build
June 20, 2024 13:48 8m 29s