Skip to content

Actions: lfrenot/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
796 workflow runs
796 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: fix bug removing all fns before an extern fn Check formatting #180: Commit a7fd409 pushed by lfrenot
February 17, 2025 10:53 1m 19s sail2
sail2
February 17, 2025 10:53 1m 19s
Publish test results Publish test results #178: completed by lfrenot
February 14, 2025 14:55 22s
February 14, 2025 14:55 22s
Upload test coverage Upload test coverage #5: completed by lfrenot
February 14, 2025 14:55 3m 26s
February 14, 2025 14:55 3m 26s
Lean: fix doc_typdef for abbrev of ranges and bools (#1007) Build matrix #179: Commit 2941bd7 pushed by lfrenot
February 14, 2025 14:44 7m 29s sail2
sail2
February 14, 2025 14:44 7m 29s
Lean: fix doc_typdef for abbrev of ranges and bools (#1007) Check formatting #179: Commit 2941bd7 pushed by lfrenot
February 14, 2025 14:44 41s sail2
sail2
February 14, 2025 14:44 41s
Lean: fix doc_typdef for abbrev of ranges and bools (#1007) Test matrix #6: Commit 2941bd7 pushed by lfrenot
February 14, 2025 14:44 11m 38s sail2
sail2
February 14, 2025 14:44 11m 38s
Upload test coverage Upload test coverage #4: completed by lfrenot
February 14, 2025 13:49 3m 34s
February 14, 2025 13:49 3m 34s
Publish test results Publish test results #177: completed by lfrenot
February 14, 2025 13:49 15s
February 14, 2025 13:49 15s
Upload test coverage Upload test coverage #3: completed by lfrenot
February 14, 2025 13:42 3m 28s
February 14, 2025 13:42 3m 28s
Publish test results Publish test results #176: completed by lfrenot
February 14, 2025 13:42 17s
February 14, 2025 13:42 17s
Lean: fix doc_typdef for abbrev of ranges and bools Check formatting #178: Commit d128607 pushed by lfrenot
February 14, 2025 13:37 54s fix_TD_abbrev
fix_TD_abbrev
February 14, 2025 13:37 54s
Lean: fix doc_typdef for abbrev of ranges and bools Test matrix #5: Commit d128607 pushed by lfrenot
February 14, 2025 13:37 11m 47s fix_TD_abbrev
fix_TD_abbrev
February 14, 2025 13:37 11m 47s
Lean: fix doc_typdef for abbrev of ranges and bools Build matrix #178: Commit d128607 pushed by lfrenot
February 14, 2025 13:37 7m 11s fix_TD_abbrev
fix_TD_abbrev
February 14, 2025 13:37 7m 11s
Lean: add support for try/catch (#1004) Check formatting #177: Commit c2a6b9d pushed by lfrenot
February 14, 2025 13:30 51s sail2
sail2
February 14, 2025 13:30 51s
Lean: add support for try/catch (#1004) Test matrix #4: Commit c2a6b9d pushed by lfrenot
February 14, 2025 13:30 12m 5s sail2
sail2
February 14, 2025 13:30 12m 5s
Lean: add support for try/catch (#1004) Build matrix #177: Commit c2a6b9d pushed by lfrenot
February 14, 2025 13:30 7m 9s sail2
sail2
February 14, 2025 13:30 7m 9s
Upload test coverage Upload test coverage #2: completed by lfrenot
February 14, 2025 11:43 3m 26s
February 14, 2025 11:43 3m 26s
Publish test results Publish test results #175: completed by lfrenot
February 14, 2025 11:43 16s
February 14, 2025 11:43 16s
Upload test coverage Upload test coverage #1: completed by ineol
February 14, 2025 11:40 3m 38s
February 14, 2025 11:40 3m 38s
Publish test results Publish test results #174: completed by ineol
February 14, 2025 11:40 16s
February 14, 2025 11:40 16s
SV: Add a rule to simplify (x >> n)[m] --> x[n + m] Check formatting #176: Commit 5488953 pushed by lfrenot
February 14, 2025 11:31 36s sail2
sail2
February 14, 2025 11:31 36s
SV: Add a rule to simplify (x >> n)[m] --> x[n + m] Test matrix #3: Commit 5488953 pushed by lfrenot
February 14, 2025 11:31 11m 37s sail2
sail2
February 14, 2025 11:31 11m 37s
SV: Add a rule to simplify (x >> n)[m] --> x[n + m] Build matrix #176: Commit 5488953 pushed by lfrenot
February 14, 2025 11:31 7m 15s sail2
sail2
February 14, 2025 11:31 7m 15s
Fixing match_bv parens Build matrix #175: Commit 82ec31c pushed by ineol
February 14, 2025 11:28 7m 26s lean/fix_disable_match_bv
lean/fix_disable_match_bv
February 14, 2025 11:28 7m 26s
Fixing match_bv parens Test matrix #2: Commit 82ec31c pushed by ineol
February 14, 2025 11:28 12m 41s lean/fix_disable_match_bv
lean/fix_disable_match_bv
February 14, 2025 11:28 12m 41s