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

feat: add the ability to access the uncurried base build & test #171: Pull request #37 synchronize by Equilibris
August 17, 2024 11:27 2m 3s expose-curried-base
expose-curried-base
August 17, 2024 11:27 2m 3s
Update Qpf/Macro/Data.lean build & test #170: Commit 633e2c0 pushed by Equilibris
August 17, 2024 11:27 1m 54s expose-curried-base
expose-curried-base
August 17, 2024 11:27 1m 54s
de-Mathlibify examples build & test #169: Commit 33a3b9e pushed by alexkeizer
August 17, 2024 04:33 1m 53s coinductive-predicates
coinductive-predicates
August 17, 2024 04:33 1m 53s
unary coinductive predicate example build & test #168: Commit a554c91 pushed by alexkeizer
August 17, 2024 03:46 1m 50s coinductive-predicates
coinductive-predicates
August 17, 2024 03:46 1m 50s
hacked together coinduction tactic build & test #167: Commit b5f490d pushed by alexkeizer
August 17, 2024 03:42 1m 50s coinductive-predicates
coinductive-predicates
August 17, 2024 03:42 1m 50s
Failing test case for WeakBisim build & test #166: Commit a5b22d5 pushed by alexkeizer
August 17, 2024 03:27 1m 51s coinductive-predicates
coinductive-predicates
August 17, 2024 03:27 1m 51s
chore: add guard_msgs to tests build & test #165: Commit 525a292 pushed by Equilibris
August 16, 2024 18:23 2m 5s coinductive-predicates
coinductive-predicates
August 16, 2024 18:23 2m 5s
faet: basic coind predicates build & test #164: Commit 015df09 pushed by Equilibris
August 16, 2024 17:12 1m 49s coinductive-predicates
coinductive-predicates
August 16, 2024 17:12 1m 49s
feat: generalize constructor generation further build & test #163: Pull request #40 synchronize by Equilibris
August 16, 2024 12:19 1m 51s generalize-constructor-generation-further
generalize-constructor-generation-further
August 16, 2024 12:19 1m 51s
Update Qpf/Macro/Data/Constructors.lean build & test #162: Commit 89b86d2 pushed by Equilibris
August 16, 2024 12:19 1m 55s generalize-constructor-generation-further
generalize-constructor-generation-further
August 16, 2024 12:19 1m 55s
feat: add DeepThunk build & test #161: Pull request #41 opened by Equilibris
August 16, 2024 10:34 1m 51s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 16, 2024 10:34 1m 51s
feat: add DeepThunk build & test #160: Commit c4b021d pushed by Equilibris
August 16, 2024 10:32 1m 51s add-notion-of-a-deep-thunk
add-notion-of-a-deep-thunk
August 16, 2024 10:32 1m 51s
feat: generalize constructor generation further build & test #159: Pull request #40 opened by Equilibris
August 16, 2024 10:14 1m 50s generalize-constructor-generation-further
generalize-constructor-generation-further
August 16, 2024 10:14 1m 50s
Merge branch 'extract-rec-form-handling' into generalize-constructor-… build & test #158: Commit c6ee24d pushed by Equilibris
August 16, 2024 10:09 1m 51s generalize-constructor-generation-further
generalize-constructor-generation-further
August 16, 2024 10:09 1m 51s
refactor: prefer concat (++) over hand crafting names build & test #157: Pull request #39 opened by Equilibris
August 16, 2024 10:07 2m 3s cleanup-ind
cleanup-ind
August 16, 2024 10:07 2m 3s
refactor: prefer contact (++) over hand crafting names build & test #156: Commit 628c7e6 pushed by Equilibris
August 16, 2024 10:05 1m 53s cleanup-ind
cleanup-ind
August 16, 2024 10:05 1m 53s
refactor: extract handling of RecForms build & test #155: Pull request #38 opened by Equilibris
August 16, 2024 09:57 1m 51s extract-rec-form-handling
extract-rec-form-handling
August 16, 2024 09:57 1m 51s
refactor: extract handling of RecForms build & test #154: Commit f3bb9f0 pushed by Equilibris
August 16, 2024 09:55 1m 52s extract-rec-form-handling
extract-rec-form-handling
August 16, 2024 09:55 1m 52s
feat: generalize constructors further build & test #153: Commit ab6aa44 pushed by Equilibris
August 16, 2024 09:48 1m 21s generalize-constructor-generation-further
generalize-constructor-generation-further
August 16, 2024 09:48 1m 21s
feat: add the ability to access the uncurried base build & test #152: Pull request #37 opened by Equilibris
August 16, 2024 09:42 1m 49s expose-curried-base
expose-curried-base
August 16, 2024 09:42 1m 49s
feat: add the ability to access the uncurried base build & test #151: Commit 3a2949e pushed by Equilibris
August 16, 2024 09:40 1m 49s expose-curried-base
expose-curried-base
August 16, 2024 09:40 1m 49s
Add the notion of a DeepThunk and generation for this build & test #150: Pull request #35 synchronize by Equilibris
August 15, 2024 10:32 1m 57s codef-3-deepThunk
codef-3-deepThunk
August 15, 2024 10:32 1m 57s
chore: clean up ws build & test #149: Commit f24ad61 pushed by Equilibris
August 15, 2024 10:32 2m 8s codef-3-deepThunk
codef-3-deepThunk
August 15, 2024 10:32 2m 8s
Add the notion of a DeepThunk and generation for this build & test #148: Pull request #35 synchronize by Equilibris
August 15, 2024 10:26 2m 7s codef-3-deepThunk
codef-3-deepThunk
August 15, 2024 10:26 2m 7s
Merge remote-tracking branch 'origin/master' into codef-3-deepThunk build & test #147: Commit 82ba66e pushed by Equilibris
August 15, 2024 10:26 1m 58s codef-3-deepThunk
codef-3-deepThunk
August 15, 2024 10:26 1m 58s