Skip to content

Actions: 0xMiden/miden-vm

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
4,770 workflow runs
4,770 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tracking migration work for lifted STARK build #5938: Pull request #2783 synchronize by Al-Kindi-0
3m 14s tracking-migration-work
tracking-migration-work
3m 14s
Tracking migration work for lifted STARK build #5937: Pull request #2783 synchronize by Al-Kindi-0
3m 9s tracking-migration-work
tracking-migration-work
3m 9s
fix: eliminate unsound ptr::read double-drop UB in write_to_file (Program + Library) build #5936: Pull request #2840 synchronize by amathxbt
3m 8s amathxbt:fix-ub-double-drop-write-to-file
amathxbt:fix-ub-double-drop-write-to-file
3m 8s
fix: eliminate unsound ptr::read double-drop UB in write_to_file (Program + Library) build #5935: Pull request #2840 opened by amathxbt
Action required amathxbt:fix-ub-double-drop-write-to-file
amathxbt:fix-ub-double-drop-write-to-file
Action required
Harden arithmetic and crypto boundary checks across u64::shr, ilog2, u32clz, and Falcon mod_12289 build #5934: Pull request #2808 synchronize by huitseeker
3m 15s huisteeker/audit-fixes-2026/instructions
huisteeker/audit-fixes-2026/instructions
3m 15s
Fix quote-equivalent path ambiguity in linking and library deserialization build #5933: Pull request #2836 synchronize by huitseeker
3m 7s huisteeker/audit-fixes-2026/paths-deserialization
huisteeker/audit-fixes-2026/paths-deserialization
3m 7s
Fix quote-equivalent path ambiguity in linking and library deserialization build #5932: Pull request #2836 synchronize by huitseeker
3m 26s huisteeker/audit-fixes-2026/paths-deserialization
huisteeker/audit-fixes-2026/paths-deserialization
3m 26s
Tracking migration work for lifted STARK build #5931: Pull request #2783 synchronize by Al-Kindi-0
3m 22s tracking-migration-work
tracking-migration-work
3m 22s
Harden basic-block batch invariants and padding decode validation build #5930: Pull request #2839 synchronize by huitseeker
2m 53s huitseeker/audit-fixes-2026/basic-blocks-harden
huitseeker/audit-fixes-2026/basic-blocks-harden
2m 53s
Harden basic-block batch invariants and padding decode validation build #5929: Pull request #2839 opened by huitseeker
3m 15s huitseeker/audit-fixes-2026/basic-blocks-harden
huitseeker/audit-fixes-2026/basic-blocks-harden
3m 15s
Tracking PR for v0.22.0 release build #5928: Pull request #2702 synchronize by plafer
3m 14s next
next
3m 14s
Merge pull request #2823 from 0xMiden/plafer-merge-audit-fixes-in-next build #5927: Commit 6090d64 pushed by plafer
3m 25s next
next
3m 25s
fix: reject @locals values that overflow word-alignment build #5926: Pull request #2838 opened by Acelogic
2m 42s Acelogic:fix/locals-overflow-bounds-check
Acelogic:fix/locals-overflow-bounds-check
2m 42s
chore(processor): make DebugHandler default method implementations no… build #5925: Pull request #2837 synchronize by plafer
2m 42s plafer-2836-debug-handler
plafer-2836-debug-handler
2m 42s
chore(processor): make DebugHandler default method implementations no… build #5924: Pull request #2837 opened by plafer
3m 28s plafer-2836-debug-handler
plafer-2836-debug-handler
3m 28s
Migrate to lifted STARK backend build #5923: Pull request #2798 synchronize by adr1anh
3m 22s adr1anh/lifted-stark-v2-fixes
adr1anh/lifted-stark-v2-fixes
3m 22s
Fix push-immediate commitment: reject malformed indptr and validate group bindings build #5922: Pull request #2779 synchronize by huitseeker
3m 10s push-immediates
push-immediates
3m 10s
Harden arithmetic and crypto boundary checks across u64::shr, ilog2, u32clz, and Falcon mod_12289 build #5921: Pull request #2808 synchronize by huitseeker
3m 38s huisteeker/audit-fixes-2026/instructions
huisteeker/audit-fixes-2026/instructions
3m 38s
Fix quote-equivalent path ambiguity in linking and library deserialization build #5920: Pull request #2836 synchronize by huitseeker
3m 10s huisteeker/audit-fixes-2026/paths-deserialization
huisteeker/audit-fixes-2026/paths-deserialization
3m 10s
Fix quote-equivalent path ambiguity in linking and library deserialization build #5919: Pull request #2836 synchronize by huitseeker
3m 18s huisteeker/audit-fixes-2026/paths-deserialization
huisteeker/audit-fixes-2026/paths-deserialization
3m 18s
Harden arithmetic and crypto boundary checks across u64::shr, ilog2, u32clz, and Falcon mod_12289 build #5918: Pull request #2808 synchronize by huitseeker
2m 47s huisteeker/audit-fixes-2026/instructions
huisteeker/audit-fixes-2026/instructions
2m 47s
Migrate to lifted STARK backend build #5917: Pull request #2798 synchronize by adr1anh
2m 47s adr1anh/lifted-stark-v2-fixes
adr1anh/lifted-stark-v2-fixes
2m 47s
feat: initial implementation of project file format build #5916: Pull request #2510 synchronize by bitwalker
3m 30s bitwalker/project-file
bitwalker/project-file
3m 30s
Fix push-immediate commitment: reject malformed indptr and validate group bindings build #5915: Pull request #2779 synchronize by huitseeker
3m 38s push-immediates
push-immediates
3m 38s
feat: initial implementation of project file format build #5914: Pull request #2510 synchronize by bitwalker
2m 52s bitwalker/project-file
bitwalker/project-file
2m 52s