Skip to content

Actions: alexkeizer/QpfTypes

Actions

build & test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: review comments build & test #196: Commit 5413c5a pushed by alexkeizer
August 22, 2024 14:27 2m 25s master
master
August 22, 2024 14:27 2m 25s
feat: add DeepThunk build & test #195: Pull request #41 synchronize by alexkeizer
August 22, 2024 14:24 2m 11s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 22, 2024 14:24 2m 11s
Merge branch 'master' into add-notion-of-a-deep-thunk build & test #194: Commit 65a2046 pushed by alexkeizer
August 22, 2024 14:24 2m 2s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 22, 2024 14:24 2m 2s
refactor: change generation to use inductives underneath to allow for… build & test #193: Commit 04ddc92 pushed by Equilibris
August 20, 2024 12:08 1m 56s coinductive-predicates
coinductive-predicates
August 20, 2024 12:08 1m 56s
fix: predicate generation build & test #192: Commit 1d6f6ca pushed by Equilibris
August 19, 2024 17:28 2m 1s coinductive-predicates
coinductive-predicates
August 19, 2024 17:28 2m 1s
Merge pull request #40 from alexkeizer/generalize-constructor-generat… build & test #191: Commit 5ace7ca pushed by Equilibris
August 19, 2024 12:51 1m 53s master
master
August 19, 2024 12:51 1m 53s
feat: generalize constructor generation further build & test #190: Pull request #40 synchronize by Equilibris
August 19, 2024 12:49 1m 56s generalize-constructor-generation-further
generalize-constructor-generation-further
August 19, 2024 12:49 1m 56s
Merge branch 'master' into generalize-constructor-generation-further build & test #189: Commit f902d4e pushed by Equilibris
August 19, 2024 12:49 1m 56s generalize-constructor-generation-further
generalize-constructor-generation-further
August 19, 2024 12:49 1m 56s
feat: add DeepThunk build & test #188: Pull request #41 synchronize by Equilibris
August 19, 2024 12:47 2m 7s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 19, 2024 12:47 2m 7s
refactor: review comments build & test #187: Commit da2df62 pushed by Equilibris
August 19, 2024 12:47 1m 54s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 19, 2024 12:47 1m 54s
feat: add DeepThunk build & test #186: Pull request #41 synchronize by Equilibris
August 19, 2024 12:45 1m 55s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 19, 2024 12:45 1m 55s
refactor: review comments build & test #185: Commit c742a6b pushed by Equilibris
August 19, 2024 12:45 1m 57s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 19, 2024 12:45 1m 57s
feat: add DeepThunk build & test #184: Pull request #41 synchronize by Equilibris
August 19, 2024 12:39 1m 54s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 19, 2024 12:39 1m 54s
refactor: review comments build & test #183: Commit 78cfd15 pushed by Equilibris
August 19, 2024 12:39 2m 6s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 19, 2024 12:39 2m 6s
feat: generalize constructor generation further build & test #182: Pull request #40 synchronize by Equilibris
August 19, 2024 12:08 2m 31s generalize-constructor-generation-further
generalize-constructor-generation-further
August 19, 2024 12:08 2m 31s
Merge remote-tracking branch 'refs/remotes/origin/generalize-construc… build & test #181: Commit 887ce80 pushed by Equilibris
August 19, 2024 12:07 1m 57s generalize-constructor-generation-further
generalize-constructor-generation-further
August 19, 2024 12:07 1m 57s
Merge pull request #39 from alexkeizer/cleanup-ind build & test #180: Commit b225e07 pushed by Equilibris
August 17, 2024 18:34 1m 52s master
master
August 17, 2024 18:34 1m 52s
refactor: prefer concat (++) over hand crafting names build & test #179: Pull request #39 synchronize by Equilibris
August 17, 2024 18:32 2m 0s cleanup-ind
cleanup-ind
August 17, 2024 18:32 2m 0s
Merge branch 'master' into cleanup-ind build & test #178: Commit 565fbe4 pushed by Equilibris
August 17, 2024 18:32 1m 53s cleanup-ind
cleanup-ind
August 17, 2024 18:32 1m 53s
Merge pull request #37 from alexkeizer/expose-curried-base build & test #177: Commit b490634 pushed by Equilibris
August 17, 2024 11:35 1m 51s master
master
August 17, 2024 11:35 1m 51s
refactor: prefer concat (++) over hand crafting names build & test #176: Pull request #39 synchronize by Equilibris
August 17, 2024 11:34 1m 50s cleanup-ind
cleanup-ind
August 17, 2024 11:34 1m 50s
Merge branch 'master' into cleanup-ind build & test #175: Commit 67f47bd pushed by Equilibris
August 17, 2024 11:34 1m 54s cleanup-ind
cleanup-ind
August 17, 2024 11:34 1m 54s
feat: add the ability to access the uncurried base build & test #174: Pull request #37 synchronize by Equilibris
August 17, 2024 11:33 2m 3s expose-curried-base
expose-curried-base
August 17, 2024 11:33 2m 3s
Merge branch 'master' into expose-curried-base build & test #173: Commit 12f1d9b pushed by Equilibris
August 17, 2024 11:33 1m 52s expose-curried-base
expose-curried-base
August 17, 2024 11:33 1m 52s
Merge pull request #38 from alexkeizer/extract-rec-form-handling build & test #172: Commit 2960ed4 pushed by Equilibris
August 17, 2024 11:27 1m 55s master
master
August 17, 2024 11:27 1m 55s