Skip to content

Actions: FStarLang/FStar

Actions

Rebase PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rebase.yml
90 workflow runs
90 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
simplify README.md, INSTALL.md, and CONTRIBUTING.md Rebase PR #90: Issue comment #4312 (comment) created by nikswamy2
11s
11s
Preserve postconditions of lemma calls in tail position Rebase PR #89: Issue comment #4314 (comment) created by mtzguido
2s
2s
Rebase PR Rebase PR #88: created by microsoft-github-policy-service Bot
6s
6s
Ship fstar.lib as source in binary packages, and add fstar.exe --install_lib[_with_deps] to install it Rebase PR #87: Issue comment #4300 (comment) created by tahina-pro
11s
11s
Ship fstar.lib as source in binary packages, and add fstar.exe --install_lib[_with_deps] to install it Rebase PR #86: Issue comment #4300 (comment) created by gebner
Skipped
Skipped
Ship fstar.lib as source in binary packages, and add fstar.exe --install_lib[_with_deps] to install it Rebase PR #85: Issue comment #4300 (comment) created by tahina-pro
1s
1s
Ship fstar.lib as source in binary packages, and add fstar.exe --install_lib[_with_deps] to install it Rebase PR #84: Issue comment #4300 (comment) created by tahina-pro
7s
7s
Ship fstar.lib as source in binary packages, and add fstar.exe --install_lib[_with_deps] to install it Rebase PR #83: Issue comment #4300 (comment) created by tahina-pro
1s
1s
Ship fstar.lib as source in binary packages, and add fstar.exe --install_lib[_with_deps] to install it Rebase PR #82: Issue comment #4300 (comment) created by gebner
3s
3s
Ship fstar.lib as source in binary packages, and add fstar.exe --install_lib[_with_deps] to install it Rebase PR #81: Issue comment #4300 (comment) created by tahina-pro
1s
1s
Ascriptions in local lets seemingly dropped Rebase PR #80: Issue comment #4291 (comment) created by mtzguido
1s
1s
Trivial autolemma fails Rebase PR #79: Issue comment #4283 (comment) created by mtzguido
2s
2s
Trivial autolemma fails Rebase PR #78: Issue comment #4283 (comment) created by gebner
1s
1s
Subst improvements Rebase PR #77: Issue comment #3970 (comment) created by mtzguido
2s
2s
Subst improvements Rebase PR #76: Issue comment #3970 (comment) created by mtzguido
1s
1s
Implement iota-simplification in Pulse contexts Rebase PR #75: Issue comment #4274 (comment) created by mtzguido
2s
2s
Reduce applied projections Rebase PR #74: Issue comment #4277 (comment) created by mtzguido
2s
2s
Reduce applied projections Rebase PR #73: Issue comment #4277 (comment) created by mtzguido
2s
2s
Bump version to 2026.05.24 Rebase PR #72: Issue comment #4276 (comment) created by dzomo
1s
1s
Rebase PR Rebase PR #71: created by microsoft-github-policy-service Bot
1s
1s
Make sure propositions are squashed in types, remove valid_intro/valid_elim options Rebase PR #70: Issue comment #4271 (comment) created by gebner
1s
1s
Real encoding too weak Rebase PR #69: Issue comment #4270 (comment) created by mtzguido
1s
1s
Example of matching loop Rebase PR #68: Issue comment #4264 (comment) created by gebner
1s
1s
Rebase PR Rebase PR #67: created by microsoft-github-policy-service Bot
1s
1s
Rebase PR Rebase PR #66: created by microsoft-github-policy-service Bot
1s
1s