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
Accelerator
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
.
typelevel
/
scalacheck
Public
Uh oh!
There was an error while loading.
Please reload this page
.
Notifications
You must be signed in to change notification settings
Fork
393
Star
2k
Code
Issues
55
Pull requests
10
Discussions
Actions
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Security and quality
Insights
Actions: typelevel/scalacheck
Actions
All workflows
Workflows
Clean
Clean
Continuous Integration
Continuous Integration
pages-build-deployment
pages-build-deployment
Publish Site
Publish Site
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
308 workflow runs
308 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.
Update sbt to 2.0.7
Continuous Integration
#1028:
Pull request
#1197
opened by
typelevel-steward
Bot
22s
update/sbt-2.0.7
update/sbt-2.0.7
22s
View #1197
View workflow file
Update sbt to 2.0.7
Clean
#696:
Commit
ef01e9e
pushed by
typelevel-steward
Bot
12s
update/sbt-2.0.7
update/sbt-2.0.7
12s
View #1197
View workflow file
Update sbt, scripted-plugin to 1.13.0
Clean
#695:
Commit
4e29cff
pushed by
satorg
6s
main
main
6s
View workflow file
Update sbt, scripted-plugin to 1.13.0
Continuous Integration
#1027:
Commit
4e29cff
pushed by
satorg
7m 28s
main
main
7m 28s
View workflow file
Update sbt, scripted-plugin to 1.13.0
Continuous Integration
#1026:
Pull request
#1196
opened by
typelevel-steward
Bot
19m 53s
update/sbt-1.13.0
update/sbt-1.13.0
19m 53s
View #1196
View workflow file
Update sbt, scripted-plugin to 1.13.0
Clean
#694:
Commit
d0865c4
pushed by
typelevel-steward
Bot
6m 26s
update/sbt-1.13.0
update/sbt-1.13.0
6m 26s
View #1196
View workflow file
Update scala3-library_sjs1_3 to 3.8.4
Continuous Integration
#1025:
Pull request
#1180
synchronize by
satorg
2m 7s
update/scala3-library_sjs1_3-3.8.4
update/scala3-library_sjs1_3-3.8.4
2m 7s
View #1180
View workflow file
Update scala3-library_sjs1_3 to 3.8.4
Clean
#693:
Commit
6e09806
pushed by
satorg
8s
update/scala3-library_sjs1_3-3.8.4
update/scala3-library_sjs1_3-3.8.4
8s
View #1180
View workflow file
Update sbt to 2.0.6
Continuous Integration
#1024:
Pull request
#1194
opened by
typelevel-steward
Bot
23s
update/sbt-2.0.6
update/sbt-2.0.6
23s
View #1194
View workflow file
Update sbt to 2.0.6
Clean
#692:
Commit
7235aba
pushed by
typelevel-steward
Bot
16s
update/sbt-2.0.6
update/sbt-2.0.6
16s
View #1194
View workflow file
Update sbt, scripted-plugin to 1.12.15
Continuous Integration
#1023:
Commit
f7176ff
pushed by
satorg
7m 1s
main
main
7m 1s
View workflow file
Update sbt, scripted-plugin to 1.12.15
Clean
#691:
Commit
f7176ff
pushed by
satorg
13s
main
main
13s
View workflow file
Update sbt, scripted-plugin to 1.12.15
Continuous Integration
#1022:
Pull request
#1193
opened by
typelevel-steward
Bot
17m 14s
update/sbt-1.12.15
update/sbt-1.12.15
17m 14s
View #1193
View workflow file
Update sbt, scripted-plugin to 1.12.15
Clean
#690:
Commit
8c2455b
pushed by
typelevel-steward
Bot
1m 11s
update/sbt-1.12.15
update/sbt-1.12.15
1m 11s
View #1193
View workflow file
Update sbt to 2.0.5
Continuous Integration
#1021:
Pull request
#1192
opened by
typelevel-steward
Bot
26s
update/sbt-2.0.5
update/sbt-2.0.5
26s
View #1192
View workflow file
Update sbt to 2.0.5
Clean
#689:
Commit
23c76e8
pushed by
typelevel-steward
Bot
17s
update/sbt-2.0.5
update/sbt-2.0.5
17s
View #1192
View workflow file
Update scalafmt-core to 3.11.5
Clean
#688:
Commit
eac2411
pushed by
satorg
8s
main
main
8s
View workflow file
Update scalafmt-core to 3.11.5
Continuous Integration
#1020:
Commit
eac2411
pushed by
satorg
7m 22s
main
main
7m 22s
View workflow file
Update scalafmt-core to 3.11.5
Continuous Integration
#1019:
Pull request
#1191
opened by
typelevel-steward
Bot
30m 6s
update/scalafmt-core-3.11.5
update/scalafmt-core-3.11.5
30m 6s
View #1191
View workflow file
Update scalafmt-core to 3.11.5
Clean
#687:
Commit
b70af55
pushed by
typelevel-steward
Bot
15m 15s
update/scalafmt-core-3.11.5
update/scalafmt-core-3.11.5
15m 15s
View #1191
View workflow file
Update sbt to 2.0.4
Continuous Integration
#1018:
Pull request
#1190
opened by
typelevel-steward
Bot
25s
update/sbt-2.0.4
update/sbt-2.0.4
25s
View #1190
View workflow file
Update sbt to 2.0.4
Clean
#686:
Commit
dac4d88
pushed by
typelevel-steward
Bot
13s
update/sbt-2.0.4
update/sbt-2.0.4
13s
View #1190
View workflow file
Merge pull request #1189 from typelevel/update/scalafmt-core-3.11.4
Clean
#685:
Commit
5cf77cc
pushed by
rossabaker
32s
main
main
32s
View workflow file
Merge pull request #1189 from typelevel/update/scalafmt-core-3.11.4
Continuous Integration
#1017:
Commit
5cf77cc
pushed by
rossabaker
8m 5s
main
main
8m 5s
View workflow file
Update scalafmt-core to 3.11.4
Continuous Integration
#1016:
Pull request
#1189
opened by
typelevel-steward
Bot
22m 27s
update/scalafmt-core-3.11.4
update/scalafmt-core-3.11.4
22m 27s
View #1189
View workflow file
Previous
1
2
3
4
5
…
12
13
Next
You can’t perform that action at this time.