Build & Test (Main)

build_main.yml

225 workflow runs

fix(hassert): refuse an obligation that applies a function declared i…
completed successfully:
Build & Test (Main)#225:Commit576f6c7pushedby0xGeorgii
main
Oct 21, 202612m 37s
Expect overflow traps in the algo_iter cross-compiler comparison (#525)
completed successfully:
Build & Test (Main)#224:Commita2460c2pushedby0xGeorgii
main
Oct 21, 20269m 59s
fix(infs): refuse a version argument that is not a plain file name
completed successfully:
Build & Test (Main)#223:Commitdd5b8b6pushedby0xGeorgii
main
Oct 21, 202611m 36s
fix(infs): stage extraction and refuse a drive anywhere in a member path
completed successfully:
Build & Test (Main)#222:Commit920bc49pushedby0xGeorgii
main
Oct 21, 202613m 42s
build(infs): upgrade zip to 9 for RUSTSEC-2026-0367/0368/0369
completed successfully:
Build & Test (Main)#221:Commit25c35f5pushedby0xGeorgii
main
Oct 21, 202614m 19s
test(hassert): pin how constants of each shape read in a specification
failed:
Build & Test (Main)#220:Commit4b2336fpushedby0xGeorgii
main
Oct 20, 20265m 6s
vscode: place compile errors on the right character after non-ASCII text
completed successfully:
Build & Test (Main)#219:Commitbf62f22pushedby0xGeorgii
main
Oct 10, 202611m 40s
vscode: keep tracking a running job when its re-read fails; no Run Ag…
completed successfully:
Build & Test (Main)#218:Commit4265f8fpushedby0xGeorgii
main
Oct 10, 202614m 21s
vscode: address review of the Rocq highlighting
completed successfully:
Build & Test (Main)#217:Commit1c7eea3pushedby0xGeorgii
main
Oct 10, 202615m 5s
vscode: address review of the job panel
completed successfully:
Build & Test (Main)#216:Commit788fa5cpushedby0xGeorgii
main
Oct 10, 202614m 35s
vscode: keep the job's filename when running a proof job again
completed successfully:
Build & Test (Main)#215:Commitb50a17bpushedby0xGeorgii
main
Oct 9, 202614m 57s
ci(rocq): run the coqc round-trip gate under Coq 8.20.1
completed successfully:
Build & Test (Main)#214:Commit72b50dcpushedby0xGeorgii
main
Oct 7, 202614m 27s
test(rocq): pin hostile_body's exact instructions, not only its length
completed successfully:
Build & Test (Main)#213:Commit95db5e4pushedby0xGeorgii
main
Oct 5, 202615m 33s
fix(ast): give source_files a must_use reason instead of dropping it
completed successfully:
Build & Test (Main)#212:Commit1be99eapushedby0xGeorgii
main
Oct 3, 202615m 4s
test: add repeated array literal fixtures to every .inf corpus
failed:
Build & Test (Main)#211:Commit9c0d0depushedby0xGeorgii
main
Oct 2, 20265m 27s
fix(wasm-codegen): declare a configured memory even when the program …
completed successfully:
Build & Test (Main)#210:Commit48906c7pushedby0xGeorgii
main
Oct 1, 202613m 42s
fix: refuse proofs about another program, and analyze each body once
completed successfully:
Build & Test (Main)#209:Commit9bea149pushedby0xGeorgii
main
Sep 30, 202614m 30s
test(analysis): cover A056's budget fallback and unreachable loops
completed successfully:
Build & Test (Main)#208:Commit5512a88pushedby0xGeorgii
main
Sep 29, 202613m 30s
style(wasm-linker): apply rustfmt to the crate
failed:
Build & Test (Main)#207:Commitdb4fa63pushedby0xGeorgii
main
Sep 29, 20266m 38s
fix: quote types in diagnostics as the source spells them
completed successfully:
Build & Test (Main)#206:Commit2afc81dpushedby0xGeorgii
main
Sep 29, 202612m 25s
fix: let an external fn name a struct or enum from an imported file
completed successfully:
Build & Test (Main)#205:Commit573dee0pushedby0xGeorgii
main
Sep 29, 202615m 10s
ci: test and package the VS Code extension on every change to it
completed successfully:
Build & Test (Main)#204:Commit1f1e304pushedby0xGeorgii
main
Sep 27, 202616m 28s
docs(wasm-to-v): say floats are excluded by Inference, not by wasm-ve…
completed successfully:
Build & Test (Main)#203:Commitc034db2pushedby0xGeorgii
main
Sep 27, 202615m 4s
vscode: release extension 0.0.6 with the v0.0.6 highlighting
completed successfully:
Build & Test (Main)#202:Commit4661f57pushedby0xGeorgii
main
Sep 27, 202613m 47s
docs(changelog): date v0.0.6 as 2026-09-27, the day it is released
completed successfully:
Build & Test (Main)#201:Commit4deba32pushedby0xGeorgii
main
Sep 27, 202614m 53s

Workflow runs for Build & Test (Main)

225 workflow runs