Skip to content

Add option to mark a CoSyLuigiTaskParameter as unique across all prior tasks - #3

Merged
Jekannadar merged 11 commits into
developfrom
feature/add-unique-constrains-on-task-parameters
Apr 13, 2026
Merged

Add option to mark a CoSyLuigiTaskParameter as unique across all prior tasks#3
Jekannadar merged 11 commits into
developfrom
feature/add-unique-constrains-on-task-parameters

Conversation

@Jekannadar

Copy link
Copy Markdown
Contributor

CoSyLuigiTaskParameters have an optional parameter unique_across_prior_tasks.

Setting this parameter to true automatically adds a constraint to the task that ensures that when a concrete task is picked for the parameter during synthesis, there can be no other instances of tasks that have the type of the TaskParameter as supertype.

If the optional parameter is applied to a TaskParameter which requires a type for which the repository has no subtypes, i.e., there is no variance, a Warning it output, as there is a high chance that the user has misunderstood how variance via TaskParameters works.

@codecov

codecov Bot commented Apr 13, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (9ed793f) to head (de06a20).
⚠️ Report is 1 commits behind head on develop.
✅ All tests successful. No failed tests found.

Additional details and impacted files
@@             Coverage Diff              @@
##           develop        #3      +/-   ##
============================================
+ Coverage    94.87%   100.00%   +5.12%     
============================================
  Files            4        11       +7     
  Lines          156       315     +159     
  Branches         9        21      +12     
============================================
+ Hits           148       315     +167     
+ Misses           7         0       -7     
+ Partials         1         0       -1     
Flag Coverage Δ
macos-latest-3.10 100.00% <100.00%> (+5.12%) ⬆️
macos-latest-3.11 100.00% <100.00%> (+5.12%) ⬆️
macos-latest-3.12 100.00% <100.00%> (+5.12%) ⬆️
macos-latest-3.13 100.00% <100.00%> (+5.12%) ⬆️
ubuntu-latest-3.10 100.00% <100.00%> (+5.12%) ⬆️
ubuntu-latest-3.11 100.00% <100.00%> (+5.12%) ⬆️
ubuntu-latest-3.12 100.00% <100.00%> (+5.12%) ⬆️
ubuntu-latest-3.13 100.00% <100.00%> (+5.12%) ⬆️
windows-latest-3.10 100.00% <100.00%> (+5.12%) ⬆️
windows-latest-3.11 100.00% <100.00%> (+5.12%) ⬆️
windows-latest-3.12 100.00% <100.00%> (+5.12%) ⬆️
windows-latest-3.13 100.00% <100.00%> (+5.12%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@cls-python-workflows cls-python-workflows Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Benchmark cosy-luigi

Details
Benchmark suite Current: de06a20 Previous: 8d2ffc5 Ratio
benchmarks/test_benchmark_chain_100.py::test_benchmark_chain_creation 0.6722896860372995 iter/sec (stddev: 0.008973499182957834) 0.6608582640767512 iter/sec (stddev: 0.033524791798773636) 0.98

This comment was automatically generated by workflow using github-action-benchmark.

cls-python-workflows[bot]

This comment was marked as outdated.

@Jekannadar
Jekannadar force-pushed the feature/add-unique-constrains-on-task-parameters branch from be77ad2 to de06a20 Compare April 13, 2026 17:10
@Jekannadar
Jekannadar merged commit 4cf1495 into develop Apr 13, 2026
16 checks passed
@Jekannadar
Jekannadar deleted the feature/add-unique-constrains-on-task-parameters branch May 22, 2026 07:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant