Skip to content

Actions: pi8027/stablesort

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
build
June 20, 2024 13:48 8m 29s
Fix the build instruction Nix CI for bundle 8.18 #58: Pull request #26 synchronize by pi8027
June 20, 2024 13:48 6m 25s
June 20, 2024 13:48 6m 25s
Merge pull request #27 from pi8027/nix Docker CI #123: Commit 2a4f431 pushed by pi8027
June 20, 2024 13:48 6m 8s master
master
June 20, 2024 13:48 6m 8s
Merge pull request #27 from pi8027/nix Nix CI for bundle 8.18 #57: Commit 2a4f431 pushed by pi8027
June 20, 2024 13:48 6m 48s master
master
June 20, 2024 13:48 6m 48s
Update Nix toolbox Nix CI for bundle 8.18 #56: Pull request #27 opened by pi8027
June 20, 2024 13:41 4m 11s nix
nix
June 20, 2024 13:41 4m 11s
Update Nix toolbox Docker CI #122: Pull request #27 opened by pi8027
June 20, 2024 13:41 6m 0s nix
nix
June 20, 2024 13:41 6m 0s
Update Nix toolbox Nix CI for bundle 8.18 #55: Pull request #27 opened by pi8027
June 20, 2024 13:41 20s
June 20, 2024 13:41 20s
Fix the build instruction Nix CI for bundle 8.18 #54: Pull request #26 synchronize by pi8027
June 20, 2024 13:32 4m 8s build
build
June 20, 2024 13:32 4m 8s
Fix the build instruction Docker CI #121: Pull request #26 synchronize by pi8027
June 20, 2024 13:32 6m 3s build
build
June 20, 2024 13:32 6m 3s
Fix the build instruction Nix CI for bundle 8.18 #53: Pull request #26 synchronize by pi8027
June 20, 2024 13:32 26s
June 20, 2024 13:32 26s
Fix the build instruction Docker CI #120: Pull request #26 synchronize by pi8027
June 20, 2024 13:18 5m 55s build
build
June 20, 2024 13:18 5m 55s
Fix the build instruction Nix CI for bundle 8.18 #52: Pull request #26 synchronize by pi8027
June 20, 2024 13:18 25s
June 20, 2024 13:18 25s
Fix the build instruction Docker CI #119: Pull request #26 opened by pi8027
June 20, 2024 12:06 6m 3s build
build
June 20, 2024 12:06 6m 3s