Skip to content
Navigation Menu
Toggle navigation
Sign in
Appearance settings
Platform
GitHub Copilot
Write better code with AI
GitHub Spark
New
Build and deploy intelligent apps
GitHub Models
New
Manage and compare prompts
GitHub Advanced Security
Find and fix vulnerabilities
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Discussions
Collaborate outside of code
Code Search
Find more, search less
Explore
Why GitHub
Documentation
GitHub Skills
Blog
Integrations
GitHub Marketplace
MCP Registry
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
Topics
AI
DevOps
Security
Software Development
View all
Explore
Learning Pathways
Events & Webinars
Ebooks & Whitepapers
Customer Stories
Partners
Executive Insights
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
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 or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
Appearance settings
Resetting focus
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 }}
scala
/
scala-collection-laws
Public
Notifications
You must be signed in to change notification settings
Fork
13
Star
23
Code
Issues
1
Pull requests
1
Actions
Security
Uh oh!
There was an error while loading.
Please reload this page
.
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Security
Insights
Actions: scala/scala-collection-laws
Actions
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
Showing runs from all workflows
43 workflow runs
43 workflow runs
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.
Update scala-library, scala-reflect to 2.13.17
test
#135:
Commit
df4651a
pushed by
xuwei-k
7m 5s
main
main
7m 5s
View workflow file
Update scala-library, scala-reflect to 2.13.17
test
#134:
Pull request
#140
opened by
scala-steward
6m 26s
scala-steward:update/scala-library-2.13.17
scala-steward:update/scala-library-2.13.17
6m 26s
View #140
View workflow file
Update sbt, scripted-plugin to 1.11.7
test
#133:
Commit
701b2df
pushed by
xuwei-k
7m 0s
main
main
7m 0s
View workflow file
Update sbt, scripted-plugin to 1.11.7
test
#132:
Pull request
#139
opened by
scala-steward
6m 49s
scala-steward:update/sbt-1.11.7
scala-steward:update/sbt-1.11.7
6m 49s
View #139
View workflow file
Update sourcecode to 0.4.4
test
#131:
Commit
ead655d
pushed by
xuwei-k
6m 46s
main
main
6m 46s
View workflow file
Update sbt, scripted-plugin to 1.11.6
test
#130:
Commit
409b197
pushed by
xuwei-k
6m 25s
main
main
6m 25s
View workflow file
Update sbt, scripted-plugin to 1.11.6
test
#129:
Pull request
#138
opened by
scala-steward
8m 46s
scala-steward:update/sbt-1.11.6
scala-steward:update/sbt-1.11.6
8m 46s
View #138
View workflow file
Update sourcecode to 0.4.4
test
#128:
Pull request
#137
opened by
scala-steward
6m 29s
scala-steward:update/sourcecode-0.4.4
scala-steward:update/sourcecode-0.4.4
6m 29s
View #137
View workflow file
Update sbt, scripted-plugin to 1.11.5
test
#127:
Commit
4745cc3
pushed by
xuwei-k
6m 37s
main
main
6m 37s
View workflow file
Update sbt, scripted-plugin to 1.11.5
test
#126:
Pull request
#136
opened by
scala-steward
6m 40s
scala-steward:update/sbt-1.11.5
scala-steward:update/sbt-1.11.5
6m 40s
View #136
View workflow file
Merge pull request #135 from scala-steward/update/sbt-1.11.4
test
#125:
Commit
9824237
pushed by
lrytz
7m 34s
main
main
7m 34s
View workflow file
Update sbt, scripted-plugin to 1.11.4
test
#124:
Pull request
#135
opened by
scala-steward
6m 51s
scala-steward:update/sbt-1.11.4
scala-steward:update/sbt-1.11.4
6m 51s
View #135
View workflow file
Update sbt, scripted-plugin to 1.11.3
test
#123:
Commit
082997d
pushed by
xuwei-k
8m 8s
main
main
8m 8s
View workflow file
Update sbt, scripted-plugin to 1.11.3
test
#122:
Pull request
#134
opened by
scala-steward
6m 48s
scala-steward:update/sbt-1.11.3
scala-steward:update/sbt-1.11.3
6m 48s
View #134
View workflow file
Update sbt, scripted-plugin to 1.11.2
test
#121:
Commit
d3fcdb0
pushed by
xuwei-k
6m 45s
main
main
6m 45s
View workflow file
Update sbt, scripted-plugin to 1.11.2
test
#120:
Pull request
#133
opened by
scala-steward
6m 46s
scala-steward:update/sbt-1.11.2
scala-steward:update/sbt-1.11.2
6m 46s
View #133
View workflow file
Merge pull request #132 from scala-steward/update/sbt-1.11.1
test
#119:
Commit
f75c80e
pushed by
lrytz
6m 49s
main
main
6m 49s
View workflow file
Update sbt, scripted-plugin to 1.11.1
test
#118:
Pull request
#132
opened by
scala-steward
6m 47s
scala-steward:update/sbt-1.11.1
scala-steward:update/sbt-1.11.1
6m 47s
View #132
View workflow file
Merge pull request #131 from scala-steward/update/sbt-1.11.0
test
#117:
Commit
ff1553e
pushed by
lrytz
6m 11s
main
main
6m 11s
View workflow file
Update sbt, scripted-plugin to 1.11.0
test
#116:
Pull request
#131
opened by
scala-steward
6m 40s
scala-steward:update/sbt-1.11.0
scala-steward:update/sbt-1.11.0
6m 40s
View #131
View workflow file
Update sbt, scripted-plugin to 1.10.11
test
#115:
Commit
e186315
pushed by
xuwei-k
10m 53s
main
main
10m 53s
View workflow file
Update sbt, scripted-plugin to 1.10.11
test
#114:
Pull request
#130
opened by
scala-steward
7m 58s
scala-steward:update/sbt-1.10.11
scala-steward:update/sbt-1.10.11
7m 58s
View #130
View workflow file
Update sbt, scripted-plugin to 1.10.10
test
#113:
Commit
8355986
pushed by
xuwei-k
9m 19s
main
main
9m 19s
View workflow file
Update sbt, scripted-plugin to 1.10.10
test
#112:
Pull request
#129
opened by
scala-steward
7m 53s
scala-steward:update/sbt-1.10.10
scala-steward:update/sbt-1.10.10
7m 53s
View #129
View workflow file
Update sbt, scripted-plugin to 1.10.9
test
#111:
Pull request
#128
opened by
scala-steward
8m 41s
scala-steward:update/sbt-1.10.9
scala-steward:update/sbt-1.10.9
8m 41s
View #128
View workflow file
Previous
1
2
Next
You can’t perform that action at this time.