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

Merge branch 'codef-2' into codef-3-deepThunk build & test #121: Commit 5befbab pushed by Equilibris
August 8, 2024 13:54 2m 17s codef-3-deepThunk
codef-3-deepThunk
August 8, 2024 13:54 2m 17s
Add the notion of a DeepThunk and generation for this build & test #120: Pull request #35 synchronize by Equilibris
August 8, 2024 13:37 1m 26s codef-3-deepThunk
codef-3-deepThunk
August 8, 2024 13:37 1m 26s
Merge branch 'codef-2' into codef-3-deepThunk build & test #119: Commit 6d85d1c pushed by Equilibris
August 8, 2024 13:37 1m 24s codef-3-deepThunk
codef-3-deepThunk
August 8, 2024 13:37 1m 24s
Generalize utility functions previously used for a single purpose build & test #118: Pull request #34 synchronize by Equilibris
August 8, 2024 13:32 2m 2s codef-2
codef-2
August 8, 2024 13:32 2m 2s
Merge branch 'codef-1' into codef-2 build & test #117: Commit c9a2348 pushed by Equilibris
August 8, 2024 13:32 2m 4s codef-2
codef-2
August 8, 2024 13:32 2m 4s
Generalize utility functions previously used for a single purpose build & test #116: Pull request #34 synchronize by Equilibris
August 8, 2024 13:30 1m 25s codef-2
codef-2
August 8, 2024 13:30 1m 25s
Merge branch 'codef-1' into codef-2 build & test #115: Commit 14e0076 pushed by Equilibris
August 8, 2024 13:30 1m 41s codef-2
codef-2
August 8, 2024 13:30 1m 41s
chore: move Qpf constructor generation into separate file build & test #114: Pull request #33 synchronize by Equilibris
August 8, 2024 13:23 1m 51s codef-1
codef-1
August 8, 2024 13:23 1m 51s
refactor: use Lean's replacePrefix build & test #113: Commit 0dc4cb3 pushed by Equilibris
August 8, 2024 13:23 1m 56s codef-1
codef-1
August 8, 2024 13:23 1m 56s
chore: move Qpf constructor generation into separate file build & test #112: Pull request #33 synchronize by Equilibris
August 8, 2024 10:53 1m 53s codef-1
codef-1
August 8, 2024 10:53 1m 53s
docs: why replacePrefix2 is different build & test #111: Commit e5710e7 pushed by Equilibris
August 8, 2024 10:53 1m 54s codef-1
codef-1
August 8, 2024 10:53 1m 54s
Codef 4 macro build & test #110: Pull request #36 opened by Equilibris
August 8, 2024 10:27 2m 11s codef-4-macro
codef-4-macro
August 8, 2024 10:27 2m 11s
Add the notion of a DeepThunk and generation for this build & test #109: Pull request #35 synchronize by Equilibris
August 8, 2024 10:26 1m 58s codef-3-deepThunk
codef-3-deepThunk
August 8, 2024 10:26 1m 58s
faet: finish deepThunk generation build & test #108: Commit 563190b pushed by Equilibris
August 8, 2024 10:26 1m 55s codef-3-deepThunk
codef-3-deepThunk
August 8, 2024 10:26 1m 55s
feat: add basis for codef macro build & test #107: Commit 02fbbf2 pushed by Equilibris
August 8, 2024 10:21 2m 3s codef-4-macro
codef-4-macro
August 8, 2024 10:21 2m 3s
Add the notion of a DeepThunk and generation for this build & test #106: Pull request #35 synchronize by Equilibris
August 8, 2024 10:20 1m 54s codef-3-deepThunk
codef-3-deepThunk
August 8, 2024 10:20 1m 54s
feat: add basis for codef macro build & test #105: Commit 02fbbf2 pushed by Equilibris
August 8, 2024 10:19 1m 55s codef-3-deepThunk
codef-3-deepThunk
August 8, 2024 10:19 1m 55s
Add the notion of a DeepThunk and generation for this build & test #104: Pull request #35 opened by Equilibris
July 25, 2024 14:40 1m 56s codef-3-deepThunk
codef-3-deepThunk
July 25, 2024 14:40 1m 56s
faet: finish deepThunk generation build & test #103: Commit 563190b pushed by Equilibris
July 25, 2024 14:40 1m 56s codef-3-deepThunk
codef-3-deepThunk
July 25, 2024 14:40 1m 56s
Generalize utility functions previously used for a single purpose build & test #102: Pull request #34 opened by Equilibris
July 25, 2024 09:45 1m 50s codef-2
codef-2
July 25, 2024 09:45 1m 50s
refactor: genralize utils build & test #101: Commit 05a9195 pushed by Equilibris
July 25, 2024 09:45 1m 49s codef-2
codef-2
July 25, 2024 09:45 1m 49s
chore: move Qpf constructor generation into separate file build & test #100: Pull request #33 synchronize by Equilibris
July 25, 2024 08:57 1m 56s codef-1
codef-1
July 25, 2024 08:57 1m 56s
refactor: extract ctors build & test #99: Commit d904907 pushed by Equilibris
July 25, 2024 08:57 1m 50s codef-1
codef-1
July 25, 2024 08:57 1m 50s
chore: move Qpf constructor generation into separate file build & test #98: Pull request #33 synchronize by Equilibris
July 25, 2024 08:56 1m 8s codef-1
codef-1
July 25, 2024 08:56 1m 8s
refactor: extract ctors build & test #97: Commit ac2d55d pushed by Equilibris
July 25, 2024 08:56 1m 16s codef-1
codef-1
July 25, 2024 08:56 1m 16s