Skip to content

Actions: alexkeizer/QpfTypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: move Qpf constructor generation into separate file build & test #96: Pull request #33 opened by Equilibris
July 25, 2024 08:11 1m 45s codef-1
codef-1
July 25, 2024 08:11 1m 45s
refactor: extract ctors build & test #95: Commit 502b11a pushed by Equilibris
July 25, 2024 08:10 1m 50s codef-1
codef-1
July 25, 2024 08:10 1m 50s
Merge pull request #30 from alexkeizer/gen-induction build & test #94: Commit baed8e3 pushed by Equilibris
July 19, 2024 12:01 1m 52s master
master
July 19, 2024 12:01 1m 52s
feat: add generation of inductive principles for basic ctors build & test #93: Pull request #30 synchronize by Equilibris
July 19, 2024 11:59 1m 49s gen-induction
gen-induction
July 19, 2024 11:59 1m 49s
Merge branch 'master' into gen-induction build & test #92: Commit 98b3831 pushed by Equilibris
July 19, 2024 11:59 1m 51s gen-induction
gen-induction
July 19, 2024 11:59 1m 51s
feat: add generation of inductive principles for basic ctors build & test #91: Pull request #30 synchronize by Equilibris
July 19, 2024 10:45 1m 47s gen-induction
gen-induction
July 19, 2024 10:45 1m 47s
docs: comment some code build & test #90: Commit c51fbda pushed by Equilibris
July 19, 2024 10:45 1m 50s gen-induction
gen-induction
July 19, 2024 10:45 1m 50s
feat: add generation of inductive principles for basic ctors build & test #89: Pull request #30 synchronize by Equilibris
July 17, 2024 15:35 1m 50s gen-induction
gen-induction
July 17, 2024 15:35 1m 50s
refactor: clean-up Ind defn build & test #88: Commit 40d350e pushed by Equilibris
July 17, 2024 15:35 1m 59s gen-induction
gen-induction
July 17, 2024 15:35 1m 59s
feat: add generation of inductive principles for basic ctors build & test #87: Pull request #30 synchronize by Equilibris
July 17, 2024 10:02 1m 51s gen-induction
gen-induction
July 17, 2024 10:02 1m 51s
refactor: clean-up Ind defn build & test #86: Commit 75ba863 pushed by Equilibris
July 17, 2024 10:02 1m 51s gen-induction
gen-induction
July 17, 2024 10:02 1m 51s
feat: add generation of inductive principles for basic ctors build & test #85: Pull request #30 synchronize by Equilibris
July 15, 2024 12:27 1m 58s gen-induction
gen-induction
July 15, 2024 12:27 1m 58s
feat: add noConfusion principle build & test #84: Commit a8d228c pushed by Equilibris
July 15, 2024 12:27 1m 50s gen-induction
gen-induction
July 15, 2024 12:27 1m 50s
WIP attempt at setting Syntax references to localize errors better build & test #83: Commit ccbc9bc pushed by alexkeizer
July 8, 2024 11:43 2m 11s type-ascription
type-ascription
July 8, 2024 11:43 2m 11s
feat: add generation of inductive principles for basic ctors build & test #82: Pull request #30 opened by Equilibris
July 8, 2024 10:12 1m 47s gen-induction
gen-induction
July 8, 2024 10:12 1m 47s
feat: add basic ind gen build & test #81: Commit 3d687e3 pushed by Equilibris
July 8, 2024 10:07 1m 49s gen-induction
gen-induction
July 8, 2024 10:07 1m 49s
WIP: feat: allow limited type ascriptions in data/codata build & test #80: Pull request #25 synchronize by monsterkrampe
July 6, 2024 06:46 1m 33s type-ascription
type-ascription
July 6, 2024 06:46 1m 33s
WIP: try to narrow down failing tests build & test #79: Commit f205324 pushed by monsterkrampe
July 6, 2024 06:46 1m 33s type-ascription
type-ascription
July 6, 2024 06:46 1m 33s
refactor: Ind.lean build & test #78: Commit de64c97 pushed by Equilibris
July 5, 2024 11:59 1m 58s gen-induction
gen-induction
July 5, 2024 11:59 1m 58s
Tentative, hacky fix for shadowing issue build & test #77: Commit 80f0222 pushed by alexkeizer
July 4, 2024 15:48 1m 57s gen-induction
gen-induction
July 4, 2024 15:48 1m 57s
feat: add basic ind gen build & test #76: Commit fbde368 pushed by Equilibris
July 4, 2024 14:26 1m 47s gen-induction
gen-induction
July 4, 2024 14:26 1m 47s
Merge pull request #24 from alexkeizer/refactor-macro-comp-3 build & test #75: Commit 3fcaf9b pushed by Equilibris
June 28, 2024 15:53 1m 44s master
master
June 28, 2024 15:53 1m 44s
refactor: is_trivial check to be more succinct build & test #74: Pull request #24 synchronize by Equilibris
June 28, 2024 15:52 1m 41s refactor-macro-comp-3
refactor-macro-comp-3
June 28, 2024 15:52 1m 41s
Merge branch 'master' into refactor-macro-comp-3 build & test #73: Commit 8a18535 pushed by Equilibris
June 28, 2024 15:51 1m 40s refactor-macro-comp-3
refactor-macro-comp-3
June 28, 2024 15:51 1m 40s
Merge pull request #22 from alexkeizer/refactor-macro-comp-2 build & test #72: Commit 6130bf1 pushed by Equilibris
June 28, 2024 15:50 1m 43s master
master
June 28, 2024 15:50 1m 43s