Skip to content

Actions: Tritlo/PropR

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix GHC warnings Build, test, and deploy #125: Commit 9aff332 pushed by Tritlo
February 13, 2024 10:04 19m 36s master
master
February 13, 2024 10:04 19m 36s
Merge pull request #113 from Tritlo/9.8 Build, test, and deploy #124: Commit 4071308 pushed by Tritlo
February 12, 2024 17:47 19m 44s master
master
February 12, 2024 17:47 19m 44s
Update to the 9.6/9.8 GHC API Build, test, and deploy #123: Pull request #113 opened by Tritlo
February 12, 2024 17:46 19m 58s 9.8
9.8
February 12, 2024 17:46 19m 58s
Use lens to clean types Build, test, and deploy #122: Commit 77b0bf9 pushed by Tritlo
February 12, 2024 17:10 18m 48s 9.8
9.8
February 12, 2024 17:10 18m 48s
Don't track fills except in one case, move alsoInferConstraints to shim Build, test, and deploy #121: Commit 13b675a pushed by Tritlo
February 12, 2024 16:43 20m 16s 9.8
9.8
February 12, 2024 16:43 20m 16s
bump dockerfile, install check-helpers at same time as random, quickc… Build, test, and deploy #120: Commit a07af32 pushed by Tritlo
February 12, 2024 10:45 19m 57s 9.8
9.8
February 12, 2024 10:45 19m 57s
Infer constraints on wildcardtys as well Build, test, and deploy #119: Commit 5ebda72 pushed by Tritlo
February 12, 2024 10:38 7m 52s 9.8
9.8
February 12, 2024 10:38 7m 52s
Remove check-helpers dependency from the package Build, test, and deploy #118: Commit cc5b7f5 pushed by Tritlo
February 12, 2024 10:02 19m 33s 9.8
9.8
February 12, 2024 10:02 19m 33s
Rename branch to 9.8 Build, test, and deploy #117: Commit f51c77a pushed by Tritlo
February 12, 2024 09:50 19m 42s 9.8
9.8
February 12, 2024 09:50 19m 42s
Build with any 9.8 Build, test, and deploy #116: Commit 36cf4b4 pushed by Tritlo
February 12, 2024 09:14 11m 19s 9.8
9.8
February 12, 2024 09:14 11m 19s
Build with any 9.6 Build, test, and deploy #115: Commit 1714958 pushed by Tritlo
February 12, 2024 09:14 20m 46s 9.6
9.6
February 12, 2024 09:14 20m 46s
Add github build for 9.8 Build, test, and deploy #114: Commit 6bea30b pushed by Tritlo
February 12, 2024 09:13 2m 17s 9.8
9.8
February 12, 2024 09:13 2m 17s
Explicitly infer constraints Build, test, and deploy #113: Commit dc46c4e pushed by Tritlo
February 12, 2024 09:06 10m 11s 9.6
9.6
February 12, 2024 09:06 10m 11s
Enable CI on 9.6 branch Build, test, and deploy #112: Commit a4f5a71 pushed by Tritlo
February 10, 2024 20:23 17m 12s 9.6
9.6
February 10, 2024 20:23 17m 12s
Add option to turn off timeouts Build, test, and deploy #111: Commit 95ab8ab pushed by Tritlo
October 4, 2023 19:25 17m 37s master
master
October 4, 2023 19:25 17m 37s
Make number of quickcheck checks configureable Build, test, and deploy #110: Commit e7c52e0 pushed by Tritlo
October 4, 2023 18:41 12m 16s master
master
October 4, 2023 18:41 12m 16s
Add support for extensions in files Build, test, and deploy #109: Commit 84d6d19 pushed by Tritlo
October 1, 2023 19:16 27m 6s master
master
October 1, 2023 19:16 27m 6s