Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

🚧 Dev Epic ➾ Ligo Dev WF Improvements (user requests) #1166

Closed
5 of 14 tasks
hu3man opened this issue Aug 20, 2022 · 2 comments · Fixed by #1255 or #1272
Closed
5 of 14 tasks

🚧 Dev Epic ➾ Ligo Dev WF Improvements (user requests) #1166

hu3man opened this issue Aug 20, 2022 · 2 comments · Fixed by #1255 or #1272
Assignees
@jchenche
Labels
dev-task Tasks for the Taqueria Dev Board

Comments

@hu3man
Copy link
Contributor

hu3man commented Aug 20, 2022 •
edited by jchenche
Loading

Epic|Feature Link: #1167

https://ecadlabs.productboard.com/feature-board/5219572-taqueria-features/features/14699515

🚥 Definition of Done

  • 🎯 Planning and Design
  • 🏎️ Dev Implementation
  • 🏁 Test Plan Executed
  • 🛩️ Documentation Updated
  • 🏟️ Peer / User Reviewed
  • 🏆 Validated and Accepted

✅ To Do

No response

🔭 Scope

🏎️ In Scope:

  • [ ]

🙅‍♂️ Out of Scope:

  • [x]

🧰 Work Description

PLESAE UPDATE ME!

Acceptance Criteria

Features

Requirements

  • Default to compiling to a file
  • Should be annotation aware

🎢 Test Plan

No response

🎆 Release Notes

No response

🐘 Sizing

0.5

Code of Conduct

  • I agree to follow this project's Code of Conduct
@hu3man hu3man added the dev-task Tasks for the Taqueria Dev Board label Aug 20, 2022
This was referenced Aug 20, 2022
Closed
Closed
Closed
Closed
@jchenche jchenche mentioned this issue Aug 20, 2022
Closed
1 task
@hu3man hu3man changed the title [🚧 Dev Task]: Ligo Compiler Improvements [🚧 Dev] ➾ Ligo Compiler Improvements Aug 21, 2022
@hu3man hu3man changed the title [🚧 Dev] ➾ Ligo Compiler Improvements 🚧 Dev ➾ Ligo Compiler Improvements Aug 21, 2022
@hu3man hu3man changed the title 🚧 Dev ➾ Ligo Compiler Improvements 🚧 Dev ➾ Ligo Compiler Improvements #2 Aug 23, 2022
@hu3man hu3man changed the title 🚧 Dev ➾ Ligo Compiler Improvements #2 🚧 Dev ➾ Ligo Compiler Improvements (user requests) Aug 23, 2022
@jchenche jchenche mentioned this issue Sep 19, 2022
Merged
12 tasks
@jchenche jchenche reopened this Sep 20, 2022
@jchenche jchenche mentioned this issue Sep 26, 2022
Merged
12 tasks
@hu3man hu3man changed the title 🚧 Dev ➾ Ligo Compiler Improvements (user requests) 🚧 Dev ➾ Ligo Dev WF Improvements (user requests) Sep 26, 2022
@hu3man
Copy link
Contributor Author

hu3man commented Sep 26, 2022

Todo: @hu3man / @jchenche , follow up with LIGO team to determine why they requested version pinning and confirm that using a min/max approach would worko

@jchenche jchenche reopened this Sep 27, 2022
@hu3man hu3man changed the title 🚧 Dev ➾ Ligo Dev WF Improvements (user requests) 🚧 Dev Epic ➾ Ligo Dev WF Improvements (user requests) Oct 6, 2022
This was referenced Oct 6, 2022
Closed
Open
@hu3man
Copy link
Contributor Author

hu3man commented Dec 15, 2022

Closing as complete

@hu3man hu3man closed this as completed Dec 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jchenche jchenche

Labels
dev-task Tasks for the Taqueria Dev Board
Projects
None yet
Milestone
No milestone
2 participants
@jchenche @hu3man