Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
ProvideQ
/
toolbox-web
Public
Notifications
You must be signed in to change notification settings
Fork
2
Star
3
Code
Issues
3
Pull requests
2
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Actions: ProvideQ/toolbox-web
Actions
All workflows
Workflows
CI/CD
CI/CD
CI/CD
CI/CD
Show more workflows...
Management
Caches
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Showing runs from all workflows
will be ignored since log searching is not yet available
76 workflow runs
76 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
prepare pyzx strategy for equivalence checking
CI/CD
#241:
Commit
faa942c
pushed by
niklaskerkhoff
1m 3s
feature/equivalence-checking
feature/equivalence-checking
1m 3s
View workflow file
ProblemNode: Update colors
CI/CD
#240:
Commit
d84dbfa
pushed by
niklaskerkhoff
1m 6s
feature/equivalence-checking
feature/equivalence-checking
1m 6s
View workflow file
Use Spring-Backend for equivalence checking API call
CI/CD
#239:
Commit
877ed2e
pushed by
niklaskerkhoff
1m 10s
feature/equivalence-checking
feature/equivalence-checking
1m 10s
View workflow file
Add strategy to equivalence checking API call
CI/CD
#238:
Commit
0d159c8
pushed by
niklaskerkhoff
50s
feature/equivalence-checking
feature/equivalence-checking
50s
View workflow file
Dummy for PageLayout demo
CI/CD
#237:
Commit
df5dce6
pushed by
niklaskerkhoff
56s
feature/equivalence-checking
feature/equivalence-checking
56s
View workflow file
fix PageLayout resize not only if mouse is on resize gap
CI/CD
#236:
Commit
61f1172
pushed by
niklaskerkhoff
1m 0s
feature/equivalence-checking
feature/equivalence-checking
1m 0s
View workflow file
PageLayout Topbar; Smaller IslandGap, keeping resizeable area
CI/CD
#235:
Commit
0193614
pushed by
niklaskerkhoff
57s
feature/equivalence-checking
feature/equivalence-checking
57s
View workflow file
design of ProblemConfiguration
CI/CD
#234:
Commit
001a1a0
pushed by
niklaskerkhoff
52s
feature/equivalence-checking
feature/equivalence-checking
52s
View workflow file
design of ProblemDetails
CI/CD
#233:
Commit
9953ee9
pushed by
niklaskerkhoff
54s
feature/equivalence-checking
feature/equivalence-checking
54s
View workflow file
design of EquivalenceChecking
CI/CD
#232:
Commit
d417987
pushed by
niklaskerkhoff
56s
feature/equivalence-checking
feature/equivalence-checking
56s
View workflow file
sidebars split into top and bottom; EquvialenceChecking in different …
CI/CD
#231:
Commit
7e41f9f
pushed by
niklaskerkhoff
54s
feature/equivalence-checking
feature/equivalence-checking
54s
View workflow file
Equivalence checking only on two selected nodes, not on selected prob…
CI/CD
#230:
Commit
b7c9d41
pushed by
niklaskerkhoff
57s
feature/equivalence-checking
feature/equivalence-checking
57s
View workflow file
Checkbox for ProblemNodes-Selection
CI/CD
#229:
Commit
4f4154b
pushed by
niklaskerkhoff
1m 10s
feature/equivalence-checking
feature/equivalence-checking
1m 10s
View workflow file
Add solver characteristics based on theoretical paper concepts
CI/CD
#13:
Commit
04772d8
pushed by
ekulos-code
1m 3s
formal-characteristics
formal-characteristics
1m 3s
View #84
View workflow file
style: fix linter issue
CI/CD
#12:
Commit
4269cb9
pushed by
Elscrux
1m 25s
main
main
1m 25s
View workflow file
style: fix linter issue
CI/CD
#11:
Commit
4269cb9
pushed by
Elscrux
1m 38s
develop
develop
1m 38s
View workflow file
fix: layout shift of logo when going into a small input mask
CI/CD
#10:
Commit
c6a8040
pushed by
Elscrux
47s
develop
develop
47s
View workflow file
fix: layout shift of logo when going into a small input mask
CI/CD
#9:
Commit
c6a8040
pushed by
Elscrux
53s
main
main
53s
View workflow file
Merge pull request #83 from ProvideQ/develop
CI/CD
#8:
Commit
abdfb98
pushed by
Elscrux
2m 15s
main
main
2m 15s
View workflow file
feat: update circuit processing problem type id to new upper camel ca…
CI/CD
#7:
Commit
cc45a74
pushed by
Elscrux
2m 26s
develop
develop
2m 26s
View #83
View workflow file
Merge pull request #82 from ProvideQ/develop
CI/CD
#6:
Commit
9479c3b
pushed by
koalamitice
1m 1s
0.5.0
0.5.0
1m 1s
View workflow file
Merge pull request #82 from ProvideQ/develop
CI/CD
#5:
Commit
9479c3b
pushed by
koalamitice
1m 48s
main
main
1m 48s
View workflow file
chore: updated version number
CI/CD
#4:
Commit
b825ac5
pushed by
koalamitice
48s
release/0.5.0
release/0.5.0
48s
View workflow file
chore: updated version number
CI/CD
#3:
Commit
b825ac5
pushed by
koalamitice
2m 12s
develop
develop
2m 12s
View #82
View workflow file
docs: fix style
CI/CD
#2:
Commit
bf7c5ae
pushed by
Elscrux
1m 24s
develop
develop
1m 24s
View workflow file
Previous
1
2
3
4
Next
You can’t perform that action at this time.