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: update types in elabQpf to reflect the code build & test #71: Pull request #22 synchronize by Equilibris
June 28, 2024 15:48 2m 2s refactor-macro-comp-2
refactor-macro-comp-2
June 28, 2024 15:48 2m 2s
Apply suggestions from code review build & test #70: Commit 76af185 pushed by Equilibris
June 28, 2024 15:48 2m 0s refactor-macro-comp-2
refactor-macro-comp-2
June 28, 2024 15:48 2m 0s
refactor: update types in elabQpf to reflect the code build & test #69: Pull request #22 synchronize by Equilibris
June 27, 2024 11:37 1m 56s refactor-macro-comp-2
refactor-macro-comp-2
June 27, 2024 11:37 1m 56s
Merge branch 'master' into refactor-macro-comp-2 build & test #68: Commit 6e78b77 pushed by Equilibris
June 27, 2024 11:37 1m 46s refactor-macro-comp-2
refactor-macro-comp-2
June 27, 2024 11:37 1m 46s
chore: minor style changes build & test #67: Commit b3c2270 pushed by alexkeizer
June 26, 2024 16:32 2m 21s master
master
June 26, 2024 16:32 2m 21s
fix build build & test #66: Commit abff461 pushed by alexkeizer
June 26, 2024 16:17 1m 44s master
master
June 26, 2024 16:17 1m 44s
Merge github.com:alexkeizer/QpfTypes build & test #65: Commit 0ee0fe5 pushed by alexkeizer
June 26, 2024 16:11 1m 18s master
master
June 26, 2024 16:11 1m 18s
Revert "refactor: replace.lean" build & test #64: Commit e46d8e0 pushed by alexkeizer
June 26, 2024 15:52 1m 48s master
master
June 26, 2024 15:52 1m 48s
Revert "refactor: replace.lean" build & test #63: Pull request #27 opened by alexkeizer
June 26, 2024 15:51 1m 44s revert-23-refactor-replace
revert-23-refactor-replace
June 26, 2024 15:51 1m 44s
Revert "refactor: replace.lean" build & test #62: Commit b5f4d49 pushed by alexkeizer
June 26, 2024 15:50 1m 45s revert-23-refactor-replace
revert-23-refactor-replace
June 26, 2024 15:50 1m 45s
refactor: move elabQpf into seperate funs build & test #61: Commit c62f9cc pushed by alexkeizer
June 26, 2024 15:31 1m 44s main
main
June 26, 2024 15:31 1m 44s
Merge pull request #23 from alexkeizer/refactor-replace build & test #60: Commit a0f240c pushed by Equilibris
June 26, 2024 15:26 1m 45s master
master
June 26, 2024 15:26 1m 45s
WIP: feat: allow limited type ascriptions in data/codata build & test #59: Pull request #25 opened by alexkeizer
June 26, 2024 14:56 1m 45s type-ascription
type-ascription
June 26, 2024 14:56 1m 45s
test: add examples to Test file build & test #58: Commit e02f218 pushed by Equilibris
June 26, 2024 13:59 1m 58s cleanup-example-ci-17
cleanup-example-ci-17
June 26, 2024 13:59 1m 58s
refactor: Replace struct build & test #57: Pull request #23 synchronize by Equilibris
June 26, 2024 13:39 1m 43s refactor-replace
refactor-replace
June 26, 2024 13:39 1m 43s
Merge branch 'master' into refactor-replace build & test #56: Commit 2c17e2a pushed by Equilibris
June 26, 2024 13:39 1m 42s refactor-replace
refactor-replace
June 26, 2024 13:39 1m 42s
refactor: is_trivial check to be more succinct build & test #55: Pull request #24 opened by Equilibris
June 26, 2024 13:12 1m 54s refactor-macro-comp-3
refactor-macro-comp-3
June 26, 2024 13:12 1m 54s
refactor: transform optimisation step build & test #54: Commit e932a49 pushed by Equilibris
June 26, 2024 13:11 1m 45s refactor-macro-comp-3
refactor-macro-comp-3
June 26, 2024 13:11 1m 45s
refactor: update types in elabQpf to reflect the code build & test #53: Pull request #22 synchronize by Equilibris
June 26, 2024 12:53 1m 56s refactor-macro-comp-2
refactor-macro-comp-2
June 26, 2024 12:53 1m 56s
refactor: revert to old is_trivial build & test #52: Commit bfc07e0 pushed by Equilibris
June 26, 2024 12:53 1m 44s refactor-macro-comp-2
refactor-macro-comp-2
June 26, 2024 12:53 1m 44s
refactor: update types in elabQpf to reflect the code build & test #51: Pull request #22 synchronize by Equilibris
June 26, 2024 10:38 2m 18s refactor-macro-comp-2
refactor-macro-comp-2
June 26, 2024 10:38 2m 18s
Merge remote-tracking branch 'origin/master' into refactor-macro-comp-2 build & test #50: Commit dd04580 pushed by Equilibris
June 26, 2024 10:38 1m 44s refactor-macro-comp-2
refactor-macro-comp-2
June 26, 2024 10:38 1m 44s
Merge remote-tracking branch 'origin/master' into refactor-macro-comp-2 build & test #49: Commit 6d15f94 pushed by Equilibris
June 26, 2024 10:36 1m 42s refactor-macro-comp-2
refactor-macro-comp-2
June 26, 2024 10:36 1m 42s
refactor: Replace struct build & test #48: Pull request #23 synchronize by Equilibris
June 26, 2024 10:33 1m 40s refactor-replace
refactor-replace
June 26, 2024 10:33 1m 40s
fix: typo in refactor build & test #47: Commit 33b6353 pushed by Equilibris
June 26, 2024 10:33 1m 42s refactor-replace
refactor-replace
June 26, 2024 10:33 1m 42s