Skip to content

Actions: FStarLang/pulse

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Staged build Build and test Pulse #1020: Pull request #246 synchronize by mtzguido
12m 8s mtzguido:stage
mtzguido:stage
12m 8s
Staged build Build and test Pulse #1019: Pull request #246 synchronize by mtzguido
22m 43s mtzguido:stage
mtzguido:stage
22m 43s
Staged build Build and test Pulse #1018: Pull request #246 synchronize by mtzguido
1m 10s mtzguido:stage
mtzguido:stage
1m 10s
Merge pull request #292 from mtzguido/fix Build and test Pulse #1017: Commit 1cf3094 pushed by mtzguido
5m 54s main
main
5m 54s
snap after F* change, one less unit arg in extracted ocaml Build and test Pulse #1016: Pull request #292 opened by mtzguido
6m 40s mtzguido:fix
mtzguido:fix
6m 40s
Remove FStar.Ghost.Pull Build and test Pulse #1015: Pull request #291 opened by gebner
12m 0s gebner_rm_ghost_pull
gebner_rm_ghost_pull
12m 0s
Remove FStar.Ghost.Pull Build and test Pulse #1014: Commit b83caa2 pushed by gebner
6m 59s gebner_rm_ghost_pull
gebner_rm_ghost_pull
6m 59s
Merge pull request #289 from FStarLang/nik_z3_4.13.3 Build and test Pulse #1013: Commit 03c841a pushed by nikswamy
11m 38s main
main
11m 38s
Upgrade Pulse to use Z3 4.13.3 Build and test Pulse #1012: Pull request #289 synchronize by nikswamy
19m 46s nik_z3_4.13.3
nik_z3_4.13.3
19m 46s
Merge branch 'main' into nik_z3_4.13.3 Build and test Pulse #1011: Commit cd39519 pushed by nikswamy
9m 53s nik_z3_4.13.3
nik_z3_4.13.3
9m 53s
Merge pull request #290 from FStarLang/_taramana_slice_to_from_array_ptr Build and test Pulse #1010: Commit ae9a09c pushed by tahina-pro
14m 13s main
main
14m 13s
Convert slices to/from ArrayPtr (C only) Build and test Pulse #1009: Pull request #290 opened by tahina-pro
9m 59s _taramana_slice_to_from_array_ptr
_taramana_slice_to_from_array_ptr
9m 59s
Upgrade Pulse to use Z3 4.13.3 Build and test Pulse #1008: Pull request #289 opened by nikswamy
12m 47s nik_z3_4.13.3
nik_z3_4.13.3
12m 47s
another rlimit bump Build and test Pulse #1007: Commit 4bd5c35 pushed by nikswamy
31m 51s nik_z3_4.13.3
nik_z3_4.13.3
31m 51s
tweak a couple of rlimits Build and test Pulse #1006: Commit a8bdbd1 pushed by nikswamy
13m 41s nik_z3_4.13.3
nik_z3_4.13.3
13m 41s
snapshot Build and test Pulse #1005: Commit cafec0f pushed by nikswamy
39m 57s nik_z3_4.13.3
nik_z3_4.13.3
39m 57s
nix: init Nix Build #1: Pull request #264 synchronize by jhvst
31m 46s jhvst:jhvst/nix
jhvst:jhvst/nix
31m 46s
nix: init Build and test Pulse #1004: Pull request #264 synchronize by jhvst
11m 6s jhvst:jhvst/nix
jhvst:jhvst/nix
11m 6s
Merge pull request #248 from FStarLang/_taramana_slice_merge_sort Build and test Pulse #1000: Commit 7f20441 pushed by tahina-pro
18m 41s main
main
18m 41s
In-place merge sort for slices Build and test Pulse #999: Pull request #248 synchronize by tahina-pro
8m 35s _taramana_slice_merge_sort
_taramana_slice_merge_sort
8m 35s
Merge pull request #263 from FStarLang/_taramana_slice_ghost_split Build and test Pulse #998: Commit 22eb98c pushed by tahina-pro
8m 32s main
main
8m 32s
Add ghost slice splitting Build and test Pulse #997: Pull request #263 opened by tahina-pro
8m 29s _taramana_slice_ghost_split
_taramana_slice_ghost_split
8m 29s
Merge pull request #262 from FStarLang/_gebner_canbuy Build and test Pulse #996: Commit fec3f8e pushed by gebner
8m 27s main
main
8m 27s
Rename fuel to budget. Build and test Pulse #995: Pull request #262 synchronize by gebner
8m 57s _gebner_canbuy
_gebner_canbuy
8m 57s
Rename fuel to budget. Build and test Pulse #994: Pull request #262 synchronize by gebner
32s _gebner_canbuy
_gebner_canbuy
32s
ProTip! You can narrow down the results and go further in time using created:<2024-11-15 or the other filters available.