Skip to content

Actions: FStarLang/pulse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,339 workflow runs
1,339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pulse nightly build Pulse nightly build #297: Scheduled
24m 35s main
main
24m 35s
Merge pull request #516 from FStarLang/gebner_impure_spec_prover Pulse CI #902: Commit 028df92 pushed by gebner
38m 58s main
main
38m 58s
Pulse nightly build Pulse nightly build #296: Scheduled
24m 20s main
main
24m 20s
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
Pulse nightly build Pulse nightly build #295: Scheduled
24m 5s main
main
24m 5s
Pulse nightly build Pulse nightly build #294: Scheduled
24m 19s main
main
24m 19s
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
Pulse nightly build Pulse nightly build #293: Scheduled
23m 36s main
main
23m 36s
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
Located resources Pulse CI #884: Pull request #496 synchronize by gebner
39m 24s gebner_loc
gebner_loc
39m 24s
Fix tests. Pulse CI #883: Commit 6942429 pushed by gebner
39m 22s gebner_loc
gebner_loc
39m 22s