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 }}
flintlib
/
python-flint
Public
Notifications
You must be signed in to change notification settings
Fork
40
Star
155
Code
Issues
38
Pull requests
10
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Commits
Breadcrumbs
History for
python-flint
.github
on
main
User selector
All users
Datepicker
All time
Commit history
Commits on Sep 1, 2026
build(deps): bump the minor-patch-dependencies group with 2 updates
Show description for 7161f67
dependabot[bot]
authored
7161f67
View commit details
Copy full SHA for 7161f67
View code at this point
Browse repository at this point
Commits on Aug 30, 2026
Try simplifying the pkgconfig handling on Windows
oscarbenjamin
committed
b9a8839
View commit details
Copy full SHA for b9a8839
View code at this point
Browse repository at this point
Commits on Aug 29, 2026
Simplifyacb_theta type annotations
oscarbenjamin
committed
7561560
View commit details
Copy full SHA for 7561560
View code at this point
Browse repository at this point
Make FLINT 3.4 the minimum supported version
Show description for 3d3380a
oscarbenjamin
committed
3d3380a
View commit details
Copy full SHA for 3d3380a
View code at this point
Browse repository at this point
Commits on Aug 26, 2026
Remove FLINT 3.1 from CI test matrix
Show description for b8927a2
oscarbenjamin
committed
b8927a2
View commit details
Copy full SHA for b8927a2
View code at this point
Browse repository at this point
Commits on Aug 2, 2026
Merge pull request #416 from flintlib/dependabot/github_actions/actions/setup-python-7.0.0
Show description for 59828ef
oscarbenjamin
authored
59828ef
View commit details
Copy full SHA for 59828ef
View code at this point
Browse repository at this point
Merge pull request #415 from flintlib/dependabot/github_actions/actions/setup-node-7.0.0
Show description for d2ad3ce
oscarbenjamin
authored
d2ad3ce
View commit details
Copy full SHA for d2ad3ce
View code at this point
Browse repository at this point
Commits on Aug 1, 2026
build(deps): bump actions/setup-python from 6.3.0 to 7.0.0
Show description for 36955be
dependabot[bot]
authored
36955be
View commit details
Copy full SHA for 36955be
View code at this point
Browse repository at this point
build(deps): bump actions/setup-node from 6.4.0 to 7.0.0
Show description for 2138775
dependabot[bot]
authored
2138775
View commit details
Copy full SHA for 2138775
View code at this point
Browse repository at this point
build(deps): bump the minor-patch-dependencies group with 4 updates
Show description for 3db3d4e
dependabot[bot]
authored
3db3d4e
View commit details
Copy full SHA for 3db3d4e
View code at this point
Browse repository at this point
Commits on Jul 3, 2026
Skip testing Python 3.10 on Windows ARM
Show description for e51cd20
oscarbenjamin
committed
e51cd20
View commit details
Copy full SHA for e51cd20
View code at this point
Browse repository at this point
CI: use separate matrix jobs for abi3 wheels
oscarbenjamin
committed
eb51590
View commit details
Copy full SHA for eb51590
View code at this point
Browse repository at this point
Add stable ABI wheels for CPython 3.10+
Show description for 9a329cb
oscarbenjamin
committed
9a329cb
View commit details
Copy full SHA for 9a329cb
View code at this point
Browse repository at this point
Bump to FLINT 3.6
oscarbenjamin
committed
a6ff0c2
View commit details
Copy full SHA for a6ff0c2
View code at this point
Browse repository at this point
Commits on Jul 2, 2026
Merge pull request #407 from flintlib/dependabot/github_actions/minor-patch-dependencies-15b1bebaf4
Show description for 08d4734
oscarbenjamin
authored
08d4734
View commit details
Copy full SHA for 08d4734
View code at this point
Browse repository at this point
Commits on Jul 1, 2026
build(deps): bump actions/checkout from 6.0.3 to 7.0.0
Show description for c666b2a
dependabot[bot]
authored
c666b2a
View commit details
Copy full SHA for c666b2a
View code at this point
Browse repository at this point
build(deps): bump the minor-patch-dependencies group with 3 updates
Show description for 2c16fba
dependabot[bot]
authored
2c16fba
View commit details
Copy full SHA for 2c16fba
View code at this point
Browse repository at this point
Commits on Jun 15, 2026
pyodide: don't patch emscripten when building deps
oscarbenjamin
committed
fc668ec
View commit details
Copy full SHA for fc668ec
View code at this point
Browse repository at this point
Upload pyodide wheels to PyPI
oscarbenjamin
committed
2238aa1
View commit details
Copy full SHA for 2238aa1
View code at this point
Browse repository at this point
Merge pull request #389 from oscarbenjamin/pr_bump_flint_350
Show description for 5fb7b5a
oscarbenjamin
authored
5fb7b5a
View commit details
Copy full SHA for 5fb7b5a
View code at this point
Browse repository at this point
Commits on Jun 3, 2026
build(deps): bump the minor-patch-dependencies group with 2 updates
Show description for 0da3a0b
dependabot[bot]
authored
0da3a0b
View commit details
Copy full SHA for 0da3a0b
View code at this point
Browse repository at this point
Commits on May 2, 2026
build(deps): bump the minor-patch-dependencies group with 7 updates
Show description for d59babc
dependabot[bot]
authored
d59babc
View commit details
Copy full SHA for d59babc
View code at this point
Browse repository at this point
Commits on Apr 30, 2026
Add FLINT 3.4.0 to test matrix
oscarbenjamin
committed
7d1d048
View commit details
Copy full SHA for 7d1d048
View code at this point
Browse repository at this point
Commits on Apr 5, 2026
actions: use environment scoped secret for nightly wheels
oscarbenjamin
committed
1b957e4
View commit details
Copy full SHA for 1b957e4
View code at this point
Browse repository at this point
Commits on Apr 4, 2026
actions: add zizmor check in CI
oscarbenjamin
committed
a1fb4f2
View commit details
Copy full SHA for a1fb4f2
View code at this point
Browse repository at this point
actions: minor tweaks for zizmor
oscarbenjamin
committed
651972b
View commit details
Copy full SHA for 651972b
View code at this point
Browse repository at this point
actions: remove all template injection
oscarbenjamin
committed
3dd70e1
View commit details
Copy full SHA for 3dd70e1
View code at this point
Browse repository at this point
actions: set cancel-in-progress to true
oscarbenjamin
committed
b146579
View commit details
Copy full SHA for b146579
View code at this point
Browse repository at this point
actions: add zizmor ignore for nightly wheels token
oscarbenjamin
committed
b57a58a
View commit details
Copy full SHA for b57a58a
View code at this point
Browse repository at this point
actions: set persist-credentials to false
oscarbenjamin
committed
c6bee29
View commit details
Copy full SHA for c6bee29
View code at this point
Browse repository at this point
actions: restrict permissions in jobs
oscarbenjamin
committed
9979b57
View commit details
Copy full SHA for 9979b57
View code at this point
Browse repository at this point
actions: use env to avoid shell injection
oscarbenjamin
committed
bdc39a2
View commit details
Copy full SHA for bdc39a2
View code at this point
Browse repository at this point
actions: pin all actions by SHA
oscarbenjamin
committed
caa957f
View commit details
Copy full SHA for caa957f
View code at this point
Browse repository at this point
Commits on Apr 2, 2026
build(deps): bump the minor-patch-dependencies group with 2 updates
Show description for c17aeb9
dependabot[bot]
authored
c17aeb9
View commit details
Copy full SHA for c17aeb9
View code at this point
Browse repository at this point
Commits on Mar 24, 2026
Bump pyodide version 0.28.2 -> 0.29.3
oscarbenjamin
committed
5b9460d
View commit details
Copy full SHA for 5b9460d
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
