Skip to content

Actions: sipma/codehawk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
273 workflow runs
273 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
CHB:disable reading back fragment membership dune CI #311: Commit f1fffb4 pushed by sipma
26s master
master
26s
CHB:disable reading back fragment membership Build and deploy odoc documentation #143: Commit f1fffb4 pushed by sipma
5m 28s master
master
5m 28s
CHB:disable reading back fragment membership dune CI #310: Commit 3358a58 pushed by sipma
7m 39s codepcrefinement
codepcrefinement
7m 39s
CHB:ARM: update xdata export for predicated fragments dune CI #309: Commit d3c1790 pushed by sipma
8m 19s codepcrefinement
codepcrefinement
8m 19s
CHB:ARM: replace cmd list with threaded cmdstate to support predicate… dune CI #308: Commit 4c7528b pushed by sipma
5m 13s codepcrefinement
codepcrefinement
5m 13s
CHB: override default parameter type Build and deploy odoc documentation #142: Commit 88b0709 pushed by sipma
5m 29s master
master
5m 29s
CHB: override default parameter type dune CI #307: Commit 88b0709 pushed by sipma
8m 14s master
master
8m 14s
CHB: override default parameter type dune CI #306: Commit a60e341 pushed by sipma
5m 0s parameterregistration
parameterregistration
5m 0s
CHB: fix type in parameter regisration dune CI #305: Commit 9f7b413 pushed by sipma
8m 18s parameterregistration
parameterregistration
8m 18s
CHB:ARM:wide operation sequences Build and deploy odoc documentation #141: Commit 0e24497 pushed by sipma
5m 28s master
master
5m 28s
CHB:ARM:wide operation sequences dune CI #304: Commit 0e24497 pushed by sipma
8m 44s master
master
8m 44s
CHB:ARM:wide operation sequences dune CI #303: Commit c63e1f7 pushed by sipma
8m 34s predicatedinstructions
predicatedinstructions
8m 34s
CHB: generate proof obligations from postconditions dune CI #302: Commit f8d939a pushed by sipma
4m 45s master
master
4m 45s
CHB: generate proof obligations from postconditions Build and deploy odoc documentation #140: Commit f8d939a pushed by sipma
2m 42s master
master
2m 42s
CHB: generate proof obligations from postconditions dune CI #301: Commit 980ff3b pushed by sipma
4m 52s formatstrings
formatstrings
4m 52s
CHB: externalize stack parameters Build and deploy odoc documentation #139: Commit ce00cbb pushed by sipma
2m 23s master
master
2m 23s
CHB: externalize stack parameters dune CI #300: Commit ce00cbb pushed by sipma
4m 49s master
master
4m 49s
CHB: externalize stack parameters dune CI #299: Commit b55ee2a pushed by sipma
4m 48s podischarge
podischarge
4m 48s
CHB: add proof obligations for variadic format arguments dune CI #298: Commit c7a836c pushed by sipma
4m 52s podischarge
podischarge
4m 52s
CHB: add po discharge for trusted-os-cmd-fmt-arg-string Build and deploy odoc documentation #138: Commit 85c811e pushed by sipma
2m 32s master
master
2m 32s
CHB: add po discharge for trusted-os-cmd-fmt-arg-string dune CI #297: Commit 85c811e pushed by sipma
4m 40s master
master
4m 40s
CHB: add po discharge for trusted-os-cmd-fmt-arg-string dune CI #296: Commit 8d98c7e pushed by sipma
4m 26s preconditions
preconditions
4m 26s
CHB: make formatstring recording persistent Build and deploy odoc documentation #137: Commit 8c9d747 pushed by sipma
2m 27s master
master
2m 27s
CHB: make formatstring recording persistent dune CI #295: Commit 8c9d747 pushed by sipma
4m 58s master
master
4m 58s
CHB: make formatstring recording persistent dune CI #294: Commit aed57b1 pushed by sipma
4m 55s formatstrings
formatstrings
4m 55s