Commit Graph
3 Commits
Author SHA1 Message Date
Abdessamad Derraz 8458e92281 chore: advance 135 profile pins to upstream HEAD
Every cited block was read again at HEAD: no ref left to review, no
file name or hash literal added to a cited file since the pin
(--detect-new-files --watch-hashes), refs recaled with their pins.
Profiles built by a platform at a fixed commit, or whose bump would
leave prose under an older pin, stay where they were.
2026-10-23 15:51:08 +02:00
Abdessamad Derraz 1bbc5d446b feat: collect four open engines in full 2026-10-04 23:47:25 +02:00
Abdessamad Derraz 24fb0ebd33 feat: profile jedi knight and tomb raider ports 2026-10-04 15:39:52 +02:00