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 }}
stblake
/
mathilda
Public
Notifications
You must be signed in to change notification settings
Fork
2
Star
11
Code
Issues
0
Pull requests
3
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: stblake/mathilda
Actions
All workflows
Workflows
Deploy documentation site
Deploy documentation site
Linux build
Linux build
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
456 workflow runs
456 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(simplify): guard pseudo_rem termination + add Simplify TimeConstr…
Linux build
#396:
Commit
aa69d18
pushed by
stblake
2m 52s
main
main
2m 52s
View workflow file
feat(dsolve): M20 Stage 1 — PolynomialShiftSubstitution (1st-order sy…
Linux build
#395:
Commit
1794c9b
pushed by
stblake
3m 6s
main
main
3m 6s
View workflow file
feat(dsolve): M19 — confluent Whittaker/₁F₁ recognizer + §2.1.2 re-ba…
Linux build
#394:
Commit
1f241ef
pushed by
stblake
3m 5s
main
main
3m 5s
View workflow file
feat(dsolve): M18 Stage 1 — reducible-μ integrating factor μ(x,y) + T…
Linux build
#393:
Commit
f98c982
pushed by
stblake
2m 57s
main
main
2m 57s
View workflow file
feat(dsolve): M17 — 2nd-order-linear affine→Gauss ₂F₁ recognizer + no…
Linux build
#392:
Commit
4dd6364
pushed by
stblake
3m 2s
main
main
3m 2s
View workflow file
feat(integrate): DiffUnderInt finite-domain Feynman families (power-l…
Deploy documentation site
#60:
Commit
644f054
pushed by
stblake
1m 16s
main
main
1m 16s
View workflow file
feat(integrate): DiffUnderInt finite-domain Feynman families (power-l…
Linux build
#391:
Commit
644f054
pushed by
stblake
3m 5s
main
main
3m 5s
View workflow file
feat(dsolve): M15/M16 — external §2.1.2 corpus harness, crash hardeni…
Linux build
#390:
Commit
b2301f3
pushed by
stblake
2m 21s
main
main
2m 21s
View workflow file
feat(dsolve): M14 — linear change-of-variable to canonical form (Chan…
Linux build
#389:
Commit
b2f5f6d
pushed by
stblake
3m 0s
main
main
3m 0s
View workflow file
feat(dsolve): M12 — nonlinear 2nd-order Lie point symmetry (SecondOrd…
Linux build
#388:
Commit
fb5c4fd
pushed by
stblake
3m 3s
main
main
3m 3s
View workflow file
feat(dsolve): coupled linear systems, linearizable 1st-order ODEs, Eu…
Linux build
#387:
Commit
25f092b
pushed by
stblake
3m 4s
main
main
3m 4s
View workflow file
feat(dsolve): Tier-1 special-function ODEs, order reduction, anti-han…
Linux build
#386:
Commit
e1ed024
pushed by
stblake
3m 2s
main
main
3m 2s
View workflow file
feat(special-functions): LegendreQ (Legendre function of the second k…
Linux build
#385:
Commit
5109f29
pushed by
stblake
3m 1s
main
main
3m 1s
View workflow file
feat(dsolve): M6 — PDE Charpit + factorable 2nd-order (lower-order te…
Linux build
#384:
Commit
0bba363
pushed by
stblake
2m 57s
main
main
2m 57s
View workflow file
feat(dsolve): M6 — first-order nonlinear PDEs (quasilinear Lagrange +…
Linux build
#383:
Commit
024e902
pushed by
stblake
3m 0s
main
main
3m 0s
View workflow file
feat(dsolve): M6 — heat-equation Cauchy problem by the heat kernel
Linux build
#382:
Commit
a96592b
pushed by
stblake
3m 5s
main
main
3m 5s
View workflow file
fix(apart): 2-arg form decomposes radicals of the given variable
Linux build
#381:
Commit
f1978de
pushed by
stblake
3m 9s
main
main
3m 9s
View workflow file
feat(dsolve): M11 — variable-coefficient systems, formal BVP soundnes…
Linux build
#380:
Commit
7e93aff
pushed by
stblake
2m 54s
main
main
2m 54s
View workflow file
feat(dsolve/lie): chi heuristic + order-zero symmetries; all methods …
Linux build
#379:
Commit
3f32885
pushed by
stblake
3m 1s
main
main
3m 1s
View workflow file
feat(dsolve/lie): function_sum and abaco2_unique_unknown heuristics
Linux build
#378:
Commit
4dc5ae5
pushed by
stblake
2m 37s
main
main
2m 37s
View workflow file
feat(solve/reduce): trig/hyperbolic equations & inequalities over bou…
Linux build
#377:
Commit
b03c54d
pushed by
stblake
3m 16s
main
main
3m 16s
View workflow file
feat(solve/reduce): generalized two-argument trig & hyperbolic equations
Linux build
#376:
Commit
e0c31e2
pushed by
stblake
2m 56s
main
main
2m 56s
View workflow file
feat(solve/reduce): general log/exp transcendental equations; solvera…
Linux build
#375:
Commit
bebebd2
pushed by
stblake
3m 0s
main
main
3m 0s
View workflow file
feat(pack): PackedArrayQ predicate; ToPackedArray coerces mixed Integ…
Linux build
#374:
Commit
c47229b
pushed by
stblake
2m 57s
main
main
2m 57s
View workflow file
perf(interp): packed n×(m+1) float64 table build (10–40× faster, ahea…
Linux build
#373:
Commit
e1ea056
pushed by
stblake
3m 6s
main
main
3m 6s
View workflow file
Previous
1
2
3
4
5
…
18
19
Next
You can’t perform that action at this time.