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

Get rid of traces Nix CI for bundle default #40: Pull request #13 synchronize by pi8027
November 3, 2023 00:53 23s abstract-sort
abstract-sort
November 3, 2023 00:53 23s
Get rid of traces Nix CI for bundle 8.14 #21: Pull request #13 synchronize by pi8027
November 3, 2023 00:53 26s abstract-sort
abstract-sort
November 3, 2023 00:53 26s
Get rid of traces Docker CI #57: Pull request #13 synchronize by pi8027
November 3, 2023 00:53 22m 53s abstract-sort
abstract-sort
November 3, 2023 00:53 22m 53s
Get rid of traces Nix CI for bundle 8.14 #20: Pull request #13 synchronize by pi8027
November 3, 2023 00:53 24s
November 3, 2023 00:53 24s
Get rid of traces Nix CI for bundle default #39: Pull request #13 synchronize by pi8027
November 3, 2023 00:53 21s
November 3, 2023 00:53 21s
Get rid of traces Nix CI for bundle 8.14 #19: Pull request #13 synchronize by pi8027
November 2, 2023 22:35 23s abstract-sort
abstract-sort
November 2, 2023 22:35 23s
Get rid of traces Nix CI for bundle default #38: Pull request #13 synchronize by pi8027
November 2, 2023 22:35 26s abstract-sort
abstract-sort
November 2, 2023 22:35 26s
Get rid of traces Docker CI #56: Pull request #13 synchronize by pi8027
November 2, 2023 22:35 24m 17s abstract-sort
abstract-sort
November 2, 2023 22:35 24m 17s
Get rid of traces Nix CI for bundle default #37: Pull request #13 synchronize by pi8027
November 2, 2023 22:35 21s
November 2, 2023 22:35 21s
Get rid of traces Nix CI for bundle 8.14 #18: Pull request #13 synchronize by pi8027
November 2, 2023 22:35 28s
November 2, 2023 22:35 28s
Get rid of traces Nix CI for bundle 8.14 #17: Pull request #13 synchronize by pi8027
November 2, 2023 22:27 28s abstract-sort
abstract-sort
November 2, 2023 22:27 28s
Get rid of traces Nix CI for bundle default #36: Pull request #13 synchronize by pi8027
November 2, 2023 22:27 28s abstract-sort
abstract-sort
November 2, 2023 22:27 28s
Get rid of traces Docker CI #55: Pull request #13 synchronize by pi8027
November 2, 2023 22:27 26m 20s abstract-sort
abstract-sort
November 2, 2023 22:27 26m 20s
Get rid of traces Nix CI for bundle default #35: Pull request #13 synchronize by pi8027
November 2, 2023 22:27 26s
November 2, 2023 22:27 26s
Get rid of traces Nix CI for bundle 8.14 #16: Pull request #13 synchronize by pi8027
November 2, 2023 22:27 25s
November 2, 2023 22:27 25s
Get rid of traces Docker CI #54: Pull request #13 opened by pi8027
November 2, 2023 21:12 24m 59s abstract-sort
abstract-sort
November 2, 2023 21:12 24m 59s
Get rid of traces Nix CI for bundle default #34: Pull request #13 opened by pi8027
November 2, 2023 21:12 25s abstract-sort
abstract-sort
November 2, 2023 21:12 25s
Get rid of traces Nix CI for bundle 8.14 #15: Pull request #13 opened by pi8027
November 2, 2023 21:12 24s abstract-sort
abstract-sort
November 2, 2023 21:12 24s
Get rid of traces Nix CI for bundle 8.14 #14: Pull request #13 opened by pi8027
November 2, 2023 21:12 26s
November 2, 2023 21:12 26s
Get rid of traces Nix CI for bundle default #33: Pull request #13 opened by pi8027
November 2, 2023 21:12 28s
November 2, 2023 21:12 28s
Merge pull request #12 from pi8027/cleanup Nix CI for bundle 8.14 #13: Commit 61a26f8 pushed by pi8027
October 19, 2023 12:16 33s master
master
October 19, 2023 12:16 33s
Merge pull request #12 from pi8027/cleanup Docker CI #53: Commit 61a26f8 pushed by pi8027
October 19, 2023 12:16 4m 46s master
master
October 19, 2023 12:16 4m 46s
Merge pull request #12 from pi8027/cleanup Nix CI for bundle default #32: Commit 61a26f8 pushed by pi8027
October 19, 2023 12:16 55s master
master
October 19, 2023 12:16 55s
Remove the nilp_rev lemma Docker CI #52: Pull request #12 opened by pi8027
October 19, 2023 11:58 4m 41s cleanup
cleanup
October 19, 2023 11:58 4m 41s
Remove the nilp_rev lemma Nix CI for bundle default #31: Pull request #12 opened by pi8027
October 19, 2023 11:58 26s
October 19, 2023 11:58 26s