Skip to content

No labels!

There aren’t any labels for this repository quite yet.

🚨 before deployment
🚨 before deployment
🐛 bug
🐛 bug
🛳️ bytecode saving
🛳️ bytecode saving
⚙️ ci
⚙️ ci
🎨 enhancement
🎨 enhancement
🦋 feature
🦋 feature
🩹 fix
🩹 fix
⛽️ gas saving
⛽️ gas saving
🔥 high
🔥 high
📝 informational
📝 informational
🕵️‍♀️ investigation
🕵️‍♀️ investigation
🤏 low
🤏 low
🫢 medium
🫢 medium
❓ question
❓ question
🔨 refactor
🔨 refactor
🚫 stuck
🚫 stuck
🧪 testing
🧪 testing
why3
why3