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 }}
davisjam
/
model-based-agentic-software-engineering
Public
Notifications
You must be signed in to change notification settings
Fork
1
Star
17
Code
Issues
0
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: davisjam/model-based-agentic-software-engineering
Actions
All workflows
Workflows
Deploy Pages
Deploy Pages
pages-build-deployment
pages-build-deployment
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
342 workflow runs
342 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.
book: CITE-DEDUP sensor — flag two .bib entries sharing (title, year)…
Deploy Pages
#337:
Commit
ab7e863
pushed by
davisjam
12m 13s
main
main
12m 13s
View workflow file
book(V 5.3.4): the second obligation — checking a model creates an Al…
Deploy Pages
#336:
Commit
c6c9e39
pushed by
davisjam
12m 34s
main
main
12m 34s
View workflow file
book(V): honest formal-methods account in the DocAble case (per review)
Deploy Pages
#335:
Commit
f368caa
pushed by
davisjam
12m 29s
main
main
12m 29s
View workflow file
book(III-VI): copyedit the model-checking passages per review
Deploy Pages
#334:
Commit
98d66ec
pushed by
davisjam
12m 35s
main
main
12m 35s
View workflow file
book(fonts): self-host fonts with rel_root-relative src (fix project-…
Deploy Pages
#333:
Commit
8b240f8
pushed by
davisjam
14m 2s
main
main
14m 2s
View workflow file
fig: rename general concept 'Engineering Environment' -> 'Engineered …
Deploy Pages
#332:
Commit
548c2b0
pushed by
davisjam
12m 26s
main
main
12m 26s
View workflow file
book(part1): regenerate outcomes digest after §1.1 point removal
Deploy Pages
#331:
Commit
fad280d
pushed by
davisjam
12m 17s
main
main
12m 17s
View workflow file
book(preface): drop the tweet citation, keep Nosta + Ling
Deploy Pages
#330:
Commit
5514c98
pushed by
davisjam
12m 18s
main
main
12m 18s
View workflow file
book(preface): cite 'commodity intelligence' at first mention (Nosta,…
Deploy Pages
#329:
Commit
014b29b
pushed by
davisjam
2m 15s
main
main
2m 15s
View workflow file
0.4: preface opening fold — commodity-intelligence framing, Why MAGE?…
Deploy Pages
#328:
Commit
c76a460
pushed by
davisjam
12m 32s
main
main
12m 32s
View workflow file
book(conclusion): rewrite-by-subtraction — ~1pp cut, responsibility-i…
Deploy Pages
#327:
Commit
f9e03be
pushed by
davisjam
12m 46s
main
main
12m 46s
View workflow file
book: fix doubled 'about' in 5.2 receipt + bank copyedit fieldnote
Deploy Pages
#326:
Commit
bf15f55
pushed by
davisjam
15m 0s
main
main
15m 0s
View workflow file
R48 fold (R48d): Part VI research program + thesis box + conclusion
Deploy Pages
#325:
Commit
dbe3c57
pushed by
davisjam
14m 47s
main
main
14m 47s
View workflow file
R47: catalog_tests fixes — re-home 4 claims orphaned by the Part-VI r…
Deploy Pages
#324:
Commit
8503ca7
pushed by
davisjam
14m 49s
main
main
14m 49s
View workflow file
R35: tighten + renumber Part VI — 9 chapters to 7 (theory to profession)
Deploy Pages
#323:
Commit
cde9588
pushed by
davisjam
15m 15s
main
main
15m 15s
View workflow file
fix(pdf-gate): tail-run check robust to short-word/reflow tails (fals…
Deploy Pages
#322:
Commit
7523f06
pushed by
davisjam
15m 24s
main
main
15m 24s
View workflow file
R33 Commit D: fold 4.3 Validating Change (sensor-fix, 5 insets, provi…
Deploy Pages
#321:
Commit
546768d
pushed by
davisjam
14m 56s
main
main
14m 56s
View workflow file
R32 chore: resync generated outcomes digest to the Part-III fold
Deploy Pages
#320:
Commit
0333386
pushed by
davisjam
14m 59s
main
main
14m 59s
View workflow file
R31 fold 4/4 + dissolve 2.12: fold 2.3 (drift concept 'How a model st…
Deploy Pages
#319:
Commit
cc76fd0
pushed by
davisjam
15m 11s
main
main
15m 11s
View workflow file
book(part1): editor surgical pass — GATE→thesis labels, Printer under…
Deploy Pages
#318:
Commit
f78739f
pushed by
davisjam
15m 2s
main
main
15m 2s
View workflow file
svg(C7): refine cross-through check to exclude occlusion + decorative…
Deploy Pages
#317:
Commit
3fde786
pushed by
davisjam
15m 12s
main
main
15m 12s
View workflow file
site+book(nav): link the MAGE Medium blog post in the web-book chrome…
Deploy Pages
#316:
Commit
5bb2424
pushed by
davisjam
15m 10s
main
main
15m 10s
View workflow file
R23 Wave 4: move four-Claude-Max anecdote + tokenomics gloss to Part V
Deploy Pages
#315:
Commit
575ffaa
pushed by
davisjam
15m 0s
main
main
15m 0s
View workflow file
book(r24-dod): repoint reasoning-limit slogan home.label the-printer→…
Deploy Pages
#314:
Commit
43d0952
pushed by
davisjam
14m 59s
main
main
14m 59s
View workflow file
book(r17): add P0 SVG-DOM figure checks C3 + C5 (audit-only)
Deploy Pages
#313:
Commit
ddaced8
pushed by
davisjam
15m 31s
main
main
15m 31s
View workflow file
Previous
1
2
3
4
5
…
13
14
Next
You can’t perform that action at this time.