Skip to content

Actions: lfrenot/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Working registers and tests Build matrix #90: Commit bdd48ad pushed by lfrenot
January 17, 2025 15:18 7m 31s lean-register-clean
lean-register-clean
January 17, 2025 15:18 7m 31s
Lean: Adding features to support structs and bitfields (#817) Build matrix #89: Commit f87c292 pushed by lfrenot
January 17, 2025 14:28 7m 24s sail2
sail2
January 17, 2025 14:28 7m 24s
final push before making a clean branch Build matrix #88: Commit 8de8351 pushed by lfrenot
January 17, 2025 14:28 8m 39s lean-register
lean-register
January 17, 2025 14:28 8m 39s
Merge branch 'sail2' into lean-register Build matrix #87: Commit 895353f pushed by lfrenot
January 17, 2025 14:24 7m 22s lean-register
lean-register
January 17, 2025 14:24 7m 22s
Merge branch 'lean-record-features' into lean-register Build matrix #86: Commit 750f250 pushed by lfrenot
January 17, 2025 11:47 7m 38s lean-register
lean-register
January 17, 2025 11:47 7m 38s
CI: Update coverage action versions Build matrix #85: Commit cf168b5 pushed by lfrenot
January 17, 2025 10:47 7m 27s sail2
sail2
January 17, 2025 10:47 7m 27s
Lean style update Build matrix #84: Commit 8242d70 pushed by lfrenot
January 16, 2025 16:10 7m 20s lean-record-features
lean-record-features
January 16, 2025 16:10 7m 20s
Lean style update Build matrix #83: Commit 523c16e pushed by lfrenot
January 16, 2025 15:35 8m 12s lean-record-features
lean-record-features
January 16, 2025 15:35 8m 12s
updated test output for rebase Build matrix #82: Commit ab6fefd pushed by lfrenot
January 16, 2025 14:24 7m 36s lean-record-features
lean-record-features
January 16, 2025 14:24 7m 36s
Make sure version number gets updated without having to run dune clean Build matrix #81: Commit 153c7b6 pushed by lfrenot
January 16, 2025 14:22 7m 23s sail2
sail2
January 16, 2025 14:22 7m 23s
Adding a mk_struct test Build matrix #80: Commit 662fa50 pushed by lfrenot
January 16, 2025 12:26 9m 34s lean-record-features
lean-record-features
January 16, 2025 12:26 9m 34s
Fixing after rebase Build matrix #79: Commit e75d960 pushed by lfrenot
January 16, 2025 12:10 14m 29s lean-record-features
lean-record-features
January 16, 2025 12:10 14m 29s
add comment listing type quantifiers and constraints Build matrix #78: Commit 9addae9 pushed by lfrenot
January 16, 2025 11:47 8m 45s sail2
sail2
January 16, 2025 11:47 8m 45s
space around Build matrix #77: Commit 2110c8a pushed by lfrenot
January 16, 2025 11:25 7m 16s lean-style-fix
lean-style-fix
January 16, 2025 11:25 7m 16s
Fixing Lean style in Sail.lean Build matrix #76: Commit bf12790 pushed by lfrenot
January 16, 2025 10:57 7m 18s lean-style-fix
lean-style-fix
January 16, 2025 10:57 7m 18s
Coq test running update Build matrix #75: Commit d02e965 pushed by lfrenot
January 16, 2025 10:50 7m 33s sail2
sail2
January 16, 2025 10:50 7m 33s
changing registerRef to UpperCamelCase Build matrix #74: Commit 81fe816 pushed by lfrenot
January 16, 2025 10:48 8m 17s lean-record-features
lean-record-features
January 16, 2025 10:48 8m 17s
Fixing Lean style in Sail.lean Build matrix #73: Commit ae8b02a pushed by lfrenot
January 15, 2025 16:43 7m 33s lean-record-features
lean-record-features
January 15, 2025 16:43 7m 33s
Formatting Build matrix #72: Commit 746fff1 pushed by lfrenot
January 15, 2025 16:25 7m 15s lean-record-features
lean-record-features
January 15, 2025 16:25 7m 15s
TC: retry return type unification only after all arguments Build matrix #71: Commit 28ebb39 pushed by lfrenot
January 15, 2025 16:24 7m 35s sail2
sail2
January 15, 2025 16:24 7m 35s
Adding back registerRef Build matrix #70: Commit fbb10b2 pushed by lfrenot
January 15, 2025 16:23 7m 24s lean-record-features
lean-record-features
January 15, 2025 16:23 7m 24s
Removing the addition import files Build matrix #69: Commit e0ca20c pushed by lfrenot
January 15, 2025 15:09 8m 36s lean-record-features
lean-record-features
January 15, 2025 15:09 8m 36s
Fix foreach parse errors so that they report locations Build matrix #68: Commit 6f3985a pushed by lfrenot
January 15, 2025 15:08 9m 19s sail2
sail2
January 15, 2025 15:08 9m 19s
Fixing more tests Build matrix #67: Commit abbf08a pushed by lfrenot
January 15, 2025 13:39 7m 21s lean-register
lean-register
January 15, 2025 13:39 7m 21s
Actually fixing Build matrix #66: Commit 7be2cb9 pushed by lfrenot
January 15, 2025 13:24 7m 36s lean-register
lean-register
January 15, 2025 13:24 7m 36s