Skip to content

Actions: michaelborkowski/lh-array-sort-new

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cilksort spring 2025 Build lh-array-sort with liquid checking #41: Pull request #27 opened by ulysses4ever
12m 47s cilksort-spring-2025
cilksort-spring-2025
12m 47s
Cilksort spring 2025 Test shell.nix #8: Pull request #27 opened by ulysses4ever
1m 16s cilksort-spring-2025
cilksort-spring-2025
1m 16s
add simplest possible shell.nix to get ghc-9.10, cabal anc z3 Build lh-array-sort with liquid checking #40: Commit 337d733 pushed by ulysses4ever
12m 45s main
main
12m 45s
add simplest possible shell.nix to get ghc-9.10, cabal anc z3 Test shell.nix #7: Commit 337d733 pushed by ulysses4ever
1m 16s main
main
1m 16s
add simplest possible shell.nix to get ghc-9.10, cabal anc z3 Build and test lh-array-sort in linear mode #40: Commit 337d733 pushed by ulysses4ever
1m 48s main
main
1m 48s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build and test lh-array-sort in linear mode #39: Pull request #26 synchronize by ulysses4ever
1m 51s nix-shell
nix-shell
1m 51s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build lh-array-sort with liquid checking #39: Pull request #26 synchronize by ulysses4ever
13m 6s nix-shell
nix-shell
13m 6s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Test shell.nix #6: Pull request #26 synchronize by ulysses4ever
1m 14s nix-shell
nix-shell
1m 14s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build lh-array-sort with liquid checking #38: Pull request #26 synchronize by ulysses4ever
1m 35s nix-shell
nix-shell
1m 35s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build and test lh-array-sort in linear mode #38: Pull request #26 synchronize by ulysses4ever
1m 35s nix-shell
nix-shell
1m 35s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Test shell.nix #5: Pull request #26 synchronize by ulysses4ever
1m 28s nix-shell
nix-shell
1m 28s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Test shell.nix #4: Pull request #26 synchronize by ulysses4ever
5m 16s nix-shell
nix-shell
5m 16s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build and test lh-array-sort in linear mode #37: Pull request #26 synchronize by ulysses4ever
1m 44s nix-shell
nix-shell
1m 44s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build lh-array-sort with liquid checking #37: Pull request #26 synchronize by ulysses4ever
5m 3s nix-shell
nix-shell
5m 3s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build lh-array-sort with liquid checking #36: Pull request #26 synchronize by ulysses4ever
3m 34s nix-shell
nix-shell
3m 34s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build and test lh-array-sort in linear mode #36: Pull request #26 synchronize by ulysses4ever
1m 44s nix-shell
nix-shell
1m 44s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Test shell.nix #3: Pull request #26 synchronize by ulysses4ever
3m 46s nix-shell
nix-shell
3m 46s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build and test lh-array-sort in linear mode #35: Pull request #26 synchronize by ulysses4ever
1m 46s nix-shell
nix-shell
1m 46s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Test shell.nix #2: Pull request #26 synchronize by ulysses4ever
13m 24s nix-shell
nix-shell
13m 24s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build lh-array-sort with liquid checking #35: Pull request #26 synchronize by ulysses4ever
12m 59s nix-shell
nix-shell
12m 59s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build lh-array-sort with liquid checking #34: Pull request #26 synchronize by ulysses4ever
4m 23s nix-shell
nix-shell
4m 23s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build and test lh-array-sort in linear mode #34: Pull request #26 synchronize by ulysses4ever
1m 46s nix-shell
nix-shell
1m 46s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Test shell.nix #1: Pull request #26 synchronize by ulysses4ever
4m 33s nix-shell
nix-shell
4m 33s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build lh-array-sort with liquid checking #33: Pull request #26 opened by ulysses4ever
3m 13s nix-shell
nix-shell
3m 13s
add simplest possible shell.nix to get ghc-9.10, cabal and z3 Build and test lh-array-sort in linear mode #33: Pull request #26 opened by ulysses4ever
1m 41s nix-shell
nix-shell
1m 41s