Skip to content

Actions: pi8027/stablesort

Actions

Docker CI

Actions

Loading...

Show workflow options

Create status badge

docker-action.yml
61 workflow runs
61 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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 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 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 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
Merge pull request #24 from pi8027/replace-ocamlbuild-with-dune Docker CI #106: Commit 4380988 pushed by pi8027
March 29, 2024 18:00 28m 8s master
master
March 29, 2024 18:00 28m 8s
Replace OCamlbuild with Dune Docker CI #105: Pull request #24 opened by pi8027
March 29, 2024 17:30 27m 54s replace-ocamlbuild-with-dune
replace-ocamlbuild-with-dune
March 29, 2024 17:30 27m 54s
Merge pull request #23 from pi8027/ci Docker CI #104: Commit 2b9fd27 pushed by pi8027
March 20, 2024 12:42 28m 48s master
master
March 20, 2024 12:42 28m 48s
Update CI and doc, and add Cyril as an author Docker CI #103: Pull request #23 synchronize by pi8027
March 19, 2024 12:48 19m 20s ci
ci
March 19, 2024 12:48 19m 20s
Update CI and doc, and add Cyril as an author Docker CI #102: Pull request #23 synchronize by pi8027
March 19, 2024 12:43 19m 44s ci
ci
March 19, 2024 12:43 19m 44s
Update CI and doc, and add Cyril as an author Docker CI #101: Pull request #23 opened by pi8027
March 19, 2024 12:40 19m 36s ci
ci
March 19, 2024 12:40 19m 36s
Remove workaround for coq/coq#3488 Docker CI #100: Pull request #18 synchronize by pi8027
February 28, 2024 17:09 17m 32s fix-simpl-mutual-rec
fix-simpl-mutual-rec
February 28, 2024 17:09 17m 32s
Equivalence with usual stability Docker CI #99: Pull request #20 synchronize by pi8027
February 28, 2024 14:48 18m 51s usual_stable
usual_stable
February 28, 2024 14:48 18m 51s
Merge pull request #22 from pi8027/lexord_irr Docker CI #98: Commit 08cc859 pushed by pi8027
February 28, 2024 14:46 16m 44s master
master
February 28, 2024 14:46 16m 44s
Add lexord_irr and uniformize the proofs that use irr_sorted_eq Docker CI #97: Pull request #22 synchronize by pi8027
February 28, 2024 13:05 18m 34s lexord_irr
lexord_irr
February 28, 2024 13:05 18m 34s
Add lexord_irr and uniformize the proofs that use irr_sorted_eq Docker CI #96: Pull request #22 synchronize by pi8027
February 28, 2024 12:58 18m 40s lexord_irr
lexord_irr
February 28, 2024 12:58 18m 40s
Add lexord_irr and uniformize the proofs that use irr_sorted_eq Docker CI #95: Pull request #22 synchronize by pi8027
February 28, 2024 12:54 17m 22s lexord_irr
lexord_irr
February 28, 2024 12:54 17m 22s
Equivalence with usual stability Docker CI #94: Pull request #20 synchronize by pi8027
February 27, 2024 13:54 22m 30s usual_stable
usual_stable
February 27, 2024 13:54 22m 30s
Add lexord_irr and uniformize the proofs that use irr_sorted_eq Docker CI #93: Pull request #22 synchronize by pi8027
February 27, 2024 13:54 20m 57s lexord_irr
lexord_irr
February 27, 2024 13:54 20m 57s
Add lexord_irr and uniformize the proofs that use irr_sorted_eq Docker CI #92: Pull request #22 opened by pi8027
February 27, 2024 13:52 20m 23s lexord_irr
lexord_irr
February 27, 2024 13:52 20m 23s
Equivalence with usual stability Docker CI #91: Pull request #20 synchronize by pi8027
February 27, 2024 13:51 16m 18s usual_stable
usual_stable
February 27, 2024 13:51 16m 18s
Merge pull request #21 from pi8027/sorted_filter_sort Docker CI #90: Commit 7f03fa6 pushed by pi8027
February 27, 2024 12:37 18m 10s master
master
February 27, 2024 12:37 18m 10s
Add sorted_filter_sort (taken from #20) Docker CI #89: Pull request #21 opened by pi8027
February 27, 2024 12:17 20m 28s sorted_filter_sort
sorted_filter_sort
February 27, 2024 12:17 20m 28s
Equivalence with usual stability Docker CI #88: Pull request #20 synchronize by pi8027
February 27, 2024 12:17 16m 50s usual_stable
usual_stable
February 27, 2024 12:17 16m 50s
Equivalence with usual stability Docker CI #87: Pull request #20 synchronize by pi8027
February 27, 2024 11:05 16m 38s usual_stable
usual_stable
February 27, 2024 11:05 16m 38s
Equivalence with usual stability Docker CI #86: Pull request #20 synchronize by CohenCyril
February 26, 2024 11:08 16m 13s usual_stable
usual_stable
February 26, 2024 11:08 16m 13s