Skip to content

Actions: UnkindPartition/tasty

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow containers-0.7 ci #167: Commit f73ce42 pushed by Bodigrim
September 29, 2023 23:32 9m 2s master
master
September 29, 2023 23:32 9m 2s
Allow containers-0.7 ci #166: Pull request #391 opened by Bodigrim
September 27, 2023 20:38 13m 12s containers-0.7
containers-0.7
September 27, 2023 20:38 13m 12s
launchTestTree: use IntMap strict in values ci #165: Commit 7e57b52 pushed by Bodigrim
September 26, 2023 23:28 6h 0m 29s master
master
September 26, 2023 23:28 6h 0m 29s
Two IntMap-related improvements ci #164: Pull request #390 opened by Bodigrim
September 24, 2023 14:06 8m 58s intmap-improvements
intmap-improvements
September 24, 2023 14:06 8m 58s
Make computeAlignment more efficient ci #163: Commit c6ea446 pushed by Bodigrim
September 24, 2023 13:54 22m 50s master
master
September 24, 2023 13:54 22m 50s
Make computeAlignment more efficient ci #162: Pull request #389 opened by Bodigrim
September 16, 2023 23:08 8m 37s stricter-computeAlignment
stricter-computeAlignment
September 16, 2023 23:08 8m 37s
Teach the HUnit Steps provider to log progress ci #161: Commit 5ff2876 pushed by Bodigrim
September 14, 2023 21:54 9m 30s master
master
September 14, 2023 21:54 9m 30s
Teach the HUnit Steps provider to log progress ci #160: Pull request #387 synchronize by michaelpj
September 12, 2023 09:01 14m 53s michaelpj:mpj/steps-progress
michaelpj:mpj/steps-progress
September 12, 2023 09:01 14m 53s
Teach the HUnit Steps provider to log progress ci #159: Pull request #387 opened by michaelpj
September 11, 2023 09:50 10m 50s michaelpj:mpj/steps-progress
michaelpj:mpj/steps-progress
September 11, 2023 09:50 10m 50s
tasty-quickcheck now requires tasty >= 1.5 ci #158: Commit 0f6bbe5 pushed by Bodigrim
September 10, 2023 18:22 7m 47s master
master
September 10, 2023 18:22 7m 47s
tasty-quickcheck now requires tasty >= 1.5 ci #157: Pull request #386 opened by Bodigrim
September 10, 2023 09:46 8m 2s Bodigrim-patch-1
Bodigrim-patch-1
September 10, 2023 09:46 8m 2s
Change source-repository location from git:// to https:// (#385) ci #156: Commit 2898b7d pushed by Bodigrim
September 10, 2023 00:04 12m 33s master
master
September 10, 2023 00:04 12m 33s
Finalizing tasty-1.5 ci #155: Pull request #384 synchronize by Bodigrim
August 31, 2023 21:37 10m 30s Bodigrim:finalizing-tasty-1.5
Bodigrim:finalizing-tasty-1.5
August 31, 2023 21:37 10m 30s
Finalizing tasty-1.5 ci #154: Pull request #384 synchronize by Bodigrim
August 31, 2023 20:53 12m 37s Bodigrim:finalizing-tasty-1.5
Bodigrim:finalizing-tasty-1.5
August 31, 2023 20:53 12m 37s
Finalizing tasty-1.5 ci #153: Pull request #384 synchronize by Bodigrim
August 30, 2023 22:02 6h 0m 28s Bodigrim:finalizing-tasty-1.5
Bodigrim:finalizing-tasty-1.5
August 30, 2023 22:02 6h 0m 28s
Finalizing tasty-1.5 ci #152: Pull request #384 opened by Bodigrim
August 30, 2023 22:01 9m 4s Bodigrim:finalizing-tasty-1.5
Bodigrim:finalizing-tasty-1.5
August 30, 2023 22:01 9m 4s
Allow --pattern|-p option to repeat ci #151: Commit f039ea6 pushed by Bodigrim
August 21, 2023 19:29 13m 17s master
master
August 21, 2023 19:29 13m 17s
Add field to Result which allows storage of arbitrary data ci #150: Pull request #381 synchronize by Shimuuar
August 21, 2023 18:19 13m 33s Shimuuar:extra-data
Shimuuar:extra-data
August 21, 2023 18:19 13m 33s
Allow --pattern|-p option to repeat ci #149: Pull request #380 synchronize by rhendric
August 21, 2023 07:41 10m 29s rhendric:rhendric/repeat-pattern-option
rhendric:rhendric/repeat-pattern-option
August 21, 2023 07:41 10m 29s
Allow --pattern|-p option to repeat ci #148: Pull request #380 synchronize by rhendric
August 21, 2023 01:12 14m 37s rhendric:rhendric/repeat-pattern-option
rhendric:rhendric/repeat-pattern-option
August 21, 2023 01:12 14m 37s
Allow --pattern|-p option to repeat ci #147: Pull request #380 synchronize by rhendric
August 10, 2023 19:24 10m 38s rhendric:rhendric/repeat-pattern-option
rhendric:rhendric/repeat-pattern-option
August 10, 2023 19:24 10m 38s
Allow --pattern|-p option to repeat ci #146: Pull request #380 synchronize by rhendric
August 10, 2023 03:21 7m 14s rhendric:rhendric/repeat-pattern-option
rhendric:rhendric/repeat-pattern-option
August 10, 2023 03:21 7m 14s
CI: bump ghc-wasm-meta for stable bindists ci #145: Commit c2cefb1 pushed by Bodigrim
August 8, 2023 21:30 9m 43s master
master
August 8, 2023 21:30 9m 43s
CI: bump ghc-wasm-meta for stable bindists ci #144: Pull request #382 opened by amesgen
August 8, 2023 21:10 10m 23s amesgen:bump-ghc-wasm-meta-stable
amesgen:bump-ghc-wasm-meta-stable
August 8, 2023 21:10 10m 23s
Allow --pattern|-p option to repeat ci #143: Pull request #380 synchronize by rhendric
August 6, 2023 22:04 8m 30s rhendric:rhendric/repeat-pattern-option
rhendric:rhendric/repeat-pattern-option
August 6, 2023 22:04 8m 30s