Skip to content

Actions: soaibsafi/smt-z3-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🔖v0.2.1 Publish SMT Z3 VS Code Extension #4: Commit 5fa62ad pushed by soaibsafi
March 19, 2025 17:25 40s v0.2.1
v0.2.1
March 19, 2025 17:25 40s
🔖v0.2.0 Publish SMT Z3 VS Code Extension #3: Commit 45df642 pushed by soaibsafi
December 15, 2024 11:32 30s v0.2.0
v0.2.0
December 15, 2024 11:32 30s
🎨Added logo Publish SMT Z3 VS Code Extension #2: Commit 02dcaa6 pushed by soaibsafi
December 3, 2024 09:19 38s v0.1.1
v0.1.1
December 3, 2024 09:19 38s
🎉Initialize smt z3 extension Publish SMT Z3 VS Code Extension #1: Commit fa985ee pushed by soaibsafi
September 16, 2024 21:06 38s v0.1.0
v0.1.0
September 16, 2024 21:06 38s