Skip to content

Actions: FStarLang/pulse

Actions

Pulse CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
949 workflow runs
949 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
Merge pull request #587 from FStarLang/gebner_dup Pulse CI #1255: Commit b050c64 pushed by tahina-pro
1m 22s fstar1
fstar1
1m 22s
Use a Pulse-specific _zero_for_deref instead of Low* KrmlLib Pulse CI #1254: Pull request #592 synchronize by tahina-pro
6m 20s tahina-pro:_taramana_zero_for_deref
tahina-pro:_taramana_zero_for_deref
6m 20s
Use a Pulse-specific _zero_for_deref instead of Low* KrmlLib Pulse CI #1253: Pull request #592 opened by tahina-pro
34m 49s tahina-pro:_taramana_zero_for_deref
tahina-pro:_taramana_zero_for_deref
34m 49s
Add explicit ML effect annotations for --MLish removal Pulse CI #1252: Commit c6d1841 pushed by nikswamy
21m 27s fstar2
fstar2
21m 27s
Merge pull request #587 from FStarLang/gebner_dup Pulse CI #1251: Commit b050c64 pushed by gebner
19m 41s main
main
19m 41s
Automation for duplicable. Pulse CI #1250: Pull request #587 synchronize by gebner
19m 13s gebner_dup
gebner_dup
19m 13s
Remove duplicate duplicable slprops in prover. Pulse CI #1249: Commit 8ddada8 pushed by gebner
20m 1s gebner_dup
gebner_dup
20m 1s
Merge pull request #590 from FStarLang/gebner_amb_intro Pulse CI #1248: Commit bb45852 pushed by gebner
19m 40s main
main
19m 40s
Allow ambiguous unification in intro lemmas. Pulse CI #1247: Pull request #590 opened by gebner
20m 20s gebner_amb_intro
gebner_amb_intro
20m 20s
Allow ambiguous unification in intro lemmas. Pulse CI #1246: Commit c545c28 pushed by gebner
1h 20m 58s c2p
c2p
1h 20m 58s
Allow ambiguous unification in intro lemmas. Pulse CI #1245: Commit c545c28 pushed by gebner
19m 19s gebner_amb_intro
gebner_amb_intro
19m 19s
Lef/ternary hoisting Pulse CI #1244: Pull request #589 synchronize by elefthei
18m 4s lef/ternary-hoisting
lef/ternary-hoisting
18m 4s
Remove --cmi flag, fix auto-paren lexer for compound bracket tokens Pulse CI #1243: Commit 4a0ae21 pushed by elefthei
18m 11s lef/ternary-hoisting
lef/ternary-hoisting
18m 11s
Lef/ternary hoisting Pulse CI #1242: Pull request #589 opened by elefthei
19m 28s lef/ternary-hoisting
lef/ternary-hoisting
19m 28s
Remove --cmi flag, fix auto-paren lexer for compound bracket tokens Pulse CI #1241: Commit 72e7758 pushed by elefthei
18m 24s lef/ternary-hoisting
lef/ternary-hoisting
18m 24s
Merge pull request #588 from FStarLang/gebner_prover_backtrack Pulse CI #1240: Commit 10a82c2 pushed by gebner
20m 3s main
main
20m 3s
Backtrack in the prover. Pulse CI #1239: Pull request #588 opened by gebner
19m 33s gebner_prover_backtrack
gebner_prover_backtrack
19m 33s
Backtrack in the prover. Pulse CI #1238: Commit 4f4b233 pushed by gebner
19m 33s gebner_prover_backtrack
gebner_prover_backtrack
19m 33s
Automation for duplicable. Pulse CI #1237: Pull request #587 opened by gebner
19m 39s gebner_dup
gebner_dup
19m 39s
Automation for duplicable. Pulse CI #1236: Commit 76591c3 pushed by gebner
20m 10s gebner_dup
gebner_dup
20m 10s
Merge pull request #585 from FStarLang/gebner_defer Pulse CI #1235: Commit cc192ed pushed by gebner
19m 5s main
main
19m 5s
Implement defer construct for resource cleanup Pulse CI #1234: Pull request #585 synchronize by gebner
19m 45s gebner_defer
gebner_defer
19m 45s
Implement defer construct for resource cleanup Pulse CI #1233: Commit cf12f21 pushed by gebner
20m 15s gebner_defer
gebner_defer
20m 15s
Merge pull request #586 from FStarLang/_gebner_optim_impure_spec Pulse CI #1232: Commit e38d418 pushed by gebner
20m 55s main
main
20m 55s
Do not unnecessarily invoke prover in impure specs. Pulse CI #1231: Pull request #586 opened by gebner
19m 20s _gebner_optim_impure_spec
_gebner_optim_impure_spec
19m 20s