Skip to content

Actions: FStarLang/pulse

Actions

Pulse CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #518 from mtzguido/ghostbag Pulse CI #909: Commit 82f712b pushed by mtzguido
20m 29s main
main
20m 29s
GhostBag: remove use of option type, use 0.0R for None Pulse CI #908: Pull request #518 opened by mtzguido
37m 50s mtzguido:ghostbag
mtzguido:ghostbag
37m 50s
Merge pull request #517 from mtzguido/fix Pulse CI #907: Commit dd02467 pushed by mtzguido
38m 14s main
main
38m 14s
Update expected output Pulse CI #906: Pull request #517 synchronize by mtzguido
19m 38s mtzguido:fix
mtzguido:fix
19m 38s
Update expected output Pulse CI #905: Pull request #517 synchronize by mtzguido
19m 0s mtzguido:fix
mtzguido:fix
19m 0s
Update expected output Pulse CI #904: Pull request #517 synchronize by mtzguido
19m 50s mtzguido:fix
mtzguido:fix
19m 50s
Update expected output Pulse CI #903: Pull request #517 opened by mtzguido
27m 50s mtzguido:fix
mtzguido:fix
27m 50s
Merge pull request #516 from FStarLang/gebner_impure_spec_prover Pulse CI #902: Commit 028df92 pushed by gebner
38m 58s main
main
38m 58s
Use default prover for impure specs too. Pulse CI #901: Pull request #516 synchronize by gebner
40m 3s gebner_impure_spec_prover
gebner_impure_spec_prover
40m 3s
Fix tests. Pulse CI #900: Commit c00952b pushed by gebner
39m 42s gebner_impure_spec_prover
gebner_impure_spec_prover
39m 42s
Use default prover for impure specs too. Pulse CI #899: Pull request #516 synchronize by gebner
21m 15s gebner_impure_spec_prover
gebner_impure_spec_prover
21m 15s
Use default prover for impure specs too. Pulse CI #898: Commit 083f2c2 pushed by gebner
20m 53s gebner_impure_spec_prover
gebner_impure_spec_prover
20m 53s
Merge pull request #513 from mtzguido/misc Pulse CI #897: Commit cbcb12e pushed by mtzguido
38m 26s main
main
38m 26s
Misc Pulse CI #896: Pull request #513 synchronize by mtzguido
20m 41s mtzguido:misc
mtzguido:misc
20m 41s
Merge pull request #496 from FStarLang/gebner_loc Pulse CI #895: Commit dac3a56 pushed by gebner
19m 58s main
main
19m 58s
Located resources Pulse CI #894: Pull request #496 synchronize by gebner
21m 8s gebner_loc
gebner_loc
21m 8s
Automate elimination of on l _; treat on specially in matching, i… Pulse CI #893: Commit ec9c0df pushed by gebner
21m 32s gebner_loc
gebner_loc
21m 32s
Merge pull request #515 from FStarLang/gebner_fix511 Pulse CI #892: Commit 98a9de4 pushed by gebner
37m 44s main
main
37m 44s
Use default prover for impure specs too. Pulse CI #891: Pull request #516 opened by gebner
38m 0s gebner_impure_spec_prover
gebner_impure_spec_prover
38m 0s
Use default prover for impure specs too. Pulse CI #890: Commit 6647183 pushed by gebner
38m 16s gebner_impure_spec_prover
gebner_impure_spec_prover
38m 16s
Located resources Pulse CI #889: Pull request #496 synchronize by gebner
38m 57s gebner_loc
gebner_loc
38m 57s
Automate elimination of on l _; treat on specially in matching, i… Pulse CI #888: Commit 3cdd299 pushed by gebner
39m 28s gebner_loc
gebner_loc
39m 28s
Use new_implicit_var to create uvars. Pulse CI #887: Pull request #515 opened by gebner
38m 26s gebner_fix511
gebner_fix511
38m 26s
Use new_implicit_var to create uvars. Pulse CI #886: Commit cf045d6 pushed by gebner
39m 49s gebner_fix511
gebner_fix511
39m 49s
Merge pull request #514 from mtzguido/512 Pulse CI #885: Commit ba5e10b pushed by mtzguido
38m 7s main
main
38m 7s