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 }}
dsldevkit
/
dsl-devkit
Public
Notifications
You must be signed in to change notification settings
Fork
32
Star
49
Code
Issues
10
Pull requests
10
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: dsldevkit/dsl-devkit
Actions
All workflows
Workflows
.github/workflows/dependabot.yml
.github/workflows/dependabot.yml
cve-deep-scan
cve-deep-scan
cve-scan
cve-scan
Dependabot Updates
Dependabot Updates
pages-build-deployment
pages-build-deployment
release
release
snapshot
snapshot
verify
verify
Show more workflows...
Management
Caches
Deployments
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
2,207 workflow runs
2,207 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.
fix(test.ui): open the view menu before searching DynamicViewMenu items
snapshot
#151:
Commit
6217240
pushed by
joaodinissf
13m 18s
master
master
13m 18s
View workflow file
build: target update to Eclipse 2026-09
verify
#3909:
Pull request
#1558
synchronize by
joaodinissf
5m 20s
build/target-2026-09
build/target-2026-09
5m 20s
View #1558
View workflow file
pages build and deployment
pages-build-deployment
#224:
by
github-pages
Bot
55s
gh-pages
gh-pages
55s
pages build and deployment
pages-build-deployment
#223:
by
github-pages
Bot
4s
gh-pages
gh-pages
4s
pages build and deployment
pages-build-deployment
#222:
by
joaodinissf
48s
gh-pages
gh-pages
48s
pages build and deployment
pages-build-deployment
#221:
by
joaodinissf
48s
gh-pages
gh-pages
48s
github_actions in /. - Update #1600062612
Dependabot Updates
#767:
by
dependabot
Bot
1m 2s
master
master
1m 2s
ci: build master changes through a merge queue
verify
#3908:
Pull request
#1560
opened by
joaodinissf
9m 49s
ci/merge-queue
ci/merge-queue
9m 49s
View #1560
View workflow file
build: stop replacing built artifacts with the previous snapshot's
verify
#3907:
Pull request
#1559
opened by
joaodinissf
12m 52s
fix/drop-snapshot-baseline-swap
fix/drop-snapshot-baseline-swap
12m 52s
View #1559
View workflow file
build: target update to Eclipse 2026-09
verify
#3906:
Pull request
#1558
synchronize by
joaodinissf
16m 16s
build/target-2026-09
build/target-2026-09
16m 16s
View #1558
View workflow file
build: target update to Eclipse 2026-09
verify
#3905:
Pull request
#1558
opened by
joaodinissf
4m 46s
build/target-2026-09
build/target-2026-09
4m 46s
View #1558
View workflow file
fix(test.ui): open the view menu before searching DynamicViewMenu items
verify
#3904:
Pull request
#1557
opened by
joaodinissf
13m 12s
fix/dynamic-view-menu-lazy
fix/dynamic-view-menu-lazy
13m 12s
View #1557
View workflow file
github_actions in /. - Update #1597877644
Dependabot Updates
#766:
by
dependabot
Bot
48s
master
master
48s
[DO NOT MERGE] Formal verification reference: TLA+/Lean models, defect catalogue and fix plans
verify
#3903:
Pull request
#1549
synchronize by
joaodinissf
10m 0s
docs/formal-verification-reference
docs/formal-verification-reference
10m 0s
View #1549
View workflow file
fix(export,scope): record the Java types a model names as dependencies
verify
#3902:
Pull request
#1556
synchronize by
joaodinissf
11m 59s
joaodinissf:fix/export-extension-dependencies
joaodinissf:fix/export-extension-dependencies
11m 59s
View #1556
View workflow file
pages build and deployment
pages-build-deployment
#220:
by
github-pages
Bot
47s
gh-pages
gh-pages
47s
pages build and deployment
pages-build-deployment
#219:
by
github-pages
Bot
5s
gh-pages
gh-pages
5s
fix(release): compute the next version from tags reachable from the b…
snapshot
#150:
Commit
962cabd
pushed by
joaodinissf
12m 33s
master
master
12m 33s
View workflow file
fix(xtext.ui): iterate a snapshot of the matches when showing a runni…
snapshot
#149:
Commit
f714d22
pushed by
joaodinissf
13m 41s
master
master
13m 41s
View workflow file
fix(xtext): match case-sensitive pattern lookups against the candidat…
snapshot
#148:
Commit
b416e9e
pushed by
joaodinissf
13m 24s
master
master
13m 24s
View workflow file
pages build and deployment
pages-build-deployment
#218:
by
github-pages
Bot
50s
gh-pages
gh-pages
50s
pages build and deployment
pages-build-deployment
#217:
by
github-pages
Bot
4s
gh-pages
gh-pages
4s
docs(export): correct the GenModelUtilX context Javadoc and test its …
snapshot
#147:
Commit
5f83a65
pushed by
joaodinissf
13m 31s
master
master
13m 31s
View workflow file
fix(builder): abandon the load operation when a resource load times out
verify
#3901:
Pull request
#1553
synchronize by
joaodinissf
13m 26s
fix/parallel-loader-timeout-count
fix/parallel-loader-timeout-count
13m 26s
View #1553
View workflow file
github_actions in /. - Update #1595254819
Dependabot Updates
#765:
by
dependabot
Bot
1m 2s
master
master
1m 2s
Previous
1
2
3
4
5
…
88
89
Next
You can’t perform that action at this time.