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

refactor: Replace struct build & test #46: Pull request #23 opened by Equilibris
June 26, 2024 10:30 1m 16s refactor-replace
refactor-replace
June 26, 2024 10:30 1m 16s
refactor: move elabQpf into seperate funs build & test #45: Commit c62f9cc pushed by alexkeizer
June 26, 2024 10:30 1m 42s master
master
June 26, 2024 10:30 1m 42s
refactor: replace.lean build & test #44: Commit 445a7a2 pushed by Equilibris
June 26, 2024 10:30 1m 18s refactor-replace
refactor-replace
June 26, 2024 10:30 1m 18s
refactor: factor elabQpf into separate functions build & test #43: Pull request #21 synchronize by alexkeizer
June 26, 2024 10:28 1m 54s refactor-macro-comp-1
refactor-macro-comp-1
June 26, 2024 10:28 1m 54s
Merge branch 'master' into refactor-macro-comp-1 build & test #42: Commit 1854ee9 pushed by alexkeizer
June 26, 2024 10:28 1m 42s refactor-macro-comp-1
refactor-macro-comp-1
June 26, 2024 10:28 1m 42s
refactor: update types in elabQpf to reflect the code build & test #41: Pull request #22 opened by Equilibris
June 26, 2024 10:22 1m 54s refactor-macro-comp-2
refactor-macro-comp-2
June 26, 2024 10:22 1m 54s
refactor: update types in elabQpf to reflect the code build & test #40: Commit 1720c1e pushed by Equilibris
June 26, 2024 10:20 1m 51s refactor-macro-comp-2
refactor-macro-comp-2
June 26, 2024 10:20 1m 51s
refactor: factor elabQpf into separate functions build & test #39: Pull request #21 opened by Equilibris
June 26, 2024 10:11 1m 42s refactor-macro-comp-1
refactor-macro-comp-1
June 26, 2024 10:11 1m 42s
refactor: move elabQpf into seperate funs build & test #38: Commit cdf79d0 pushed by Equilibris
June 26, 2024 10:10 1m 44s refactor-macro-comp-1
refactor-macro-comp-1
June 26, 2024 10:10 1m 44s
Merge pull request #18 from alexkeizer/feat-11-alt-binders build & test #37: Commit 2093eb4 pushed by Equilibris
June 25, 2024 13:29 1m 40s master
master
June 25, 2024 13:29 1m 40s
feat: support constructor arguments given as explicit binders build & test #36: Pull request #18 synchronize by alexkeizer
June 25, 2024 13:27 2m 4s feat-11-alt-binders
feat-11-alt-binders
June 25, 2024 13:27 2m 4s
Update Qpf/Macro/Data/Replace.lean build & test #35: Commit 3f49d3c pushed by alexkeizer
June 25, 2024 13:27 2m 1s feat-11-alt-binders
feat-11-alt-binders
June 25, 2024 13:27 2m 1s
refactor: composition pipeline and qpf body parsing build & test #34: Pull request #19 synchronize by Equilibris
June 25, 2024 12:33 1m 46s refactor-comp
refactor-comp
June 25, 2024 12:33 1m 46s
refactor: replace.lean build & test #33: Commit a7b959c pushed by Equilibris
June 25, 2024 12:33 1m 47s refactor-comp
refactor-comp
June 25, 2024 12:33 1m 47s
refactor: composition pipeline and qpf body parsing build & test #32: Pull request #19 opened by Equilibris
June 25, 2024 11:51 1m 47s refactor-comp
refactor-comp
June 25, 2024 11:51 1m 47s
refactor: composition pipeline and qpf body parsing build & test #31: Commit 2811848 pushed by Equilibris
June 25, 2024 11:47 1m 54s refactor-comp
refactor-comp
June 25, 2024 11:47 1m 54s
feat: support constructor arguments given as explicit binders build & test #30: Pull request #18 synchronize by Equilibris
June 24, 2024 16:08 1m 49s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 16:08 1m 49s
fix: use binder views build & test #29: Commit 201cf79 pushed by Equilibris
June 24, 2024 16:08 1m 45s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 16:08 1m 45s
feat: support constructor arguments given as explicit binders build & test #28: Pull request #18 synchronize by Equilibris
June 24, 2024 14:51 1m 45s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 14:51 1m 45s
fix: issues found in review build & test #27: Commit a7ad6d0 pushed by Equilibris
June 24, 2024 14:51 1m 44s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 14:51 1m 44s
feat: support constructor arguments given as explicit binders build & test #26: Pull request #18 synchronize by Equilibris
June 24, 2024 14:38 1m 46s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 14:38 1m 46s
fix: More more resolved type names build & test #25: Commit 4d36c30 pushed by Equilibris
June 24, 2024 14:38 1m 48s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 14:38 1m 48s
feat: support constructor arguments given as explicit binders build & test #24: Pull request #18 synchronize by Equilibris
June 24, 2024 13:25 1m 41s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 13:25 1m 41s
feat: Fix binder issue build & test #23: Commit 9b34c8f pushed by Equilibris
June 24, 2024 13:25 1m 48s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 13:25 1m 48s
feat: support constructor arguments given as explicit binders build & test #22: Pull request #18 opened by Equilibris
June 24, 2024 13:24 1m 24s feat-11-alt-binders
feat-11-alt-binders
June 24, 2024 13:24 1m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-06-24 or the other filters available.