Skip to content

Actions: sipma/codehawk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
281 workflow runs
281 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: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
CHC: update PO generation for Div and Mod dune CI #293: Commit 64b58b4 pushed by sipma
4m 58s master
master
4m 58s
CHC: update PO generation for Div and Mod Build and deploy odoc documentation #136: Commit 64b58b4 pushed by sipma
2m 28s master
master
2m 28s
CHC: update PO generation for Div and Mod dune CI #292: Commit 05e958a pushed by sipma
1m 18s proofobligations
proofobligations
1m 18s
CHB: update version dune CI #291: Commit 300d114 pushed by sipma
4m 58s master
master
4m 58s
CHB: update version Build and deploy odoc documentation #135: Commit 300d114 pushed by sipma
2m 35s master
master
2m 35s
CHB: update version dune CI #290: Commit b96fc94 pushed by sipma
4m 53s formatstrings
formatstrings
4m 53s
CHB: add formatstring specs to functioninfo dune CI #289: Commit 9da9fd2 pushed by sipma
5m 6s formatstrings
formatstrings
5m 6s
CHB: add precondition for restricted output-format string Build and deploy odoc documentation #134: Commit 5439c02 pushed by sipma
2m 35s master
master
2m 35s
CHB: add precondition for restricted output-format string dune CI #288: Commit 5439c02 pushed by sipma
5m 9s master
master
5m 9s