Skip to content

Actions: sipma/codehawk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
289 workflow runs
289 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: 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
CHB: add precondition for restricted output-format string dune CI #287: Commit 013d2c1 pushed by sipma
5m 10s restrictedformat
restrictedformat
5m 10s
CHB: violation discharge for tainted string Build and deploy odoc documentation #133: Commit 352b1cb pushed by sipma
2m 23s master
master
2m 23s
CHB: violation discharge for tainted string dune CI #286: Commit 352b1cb pushed by sipma
4m 55s master
master
4m 55s
CHB: violation discharge for tainted string dune CI #285: Commit 24369a9 pushed by sipma
4m 37s attributes
attributes
4m 37s
CHB: add formatstring capability to type inference dune CI #284: Commit 5a9bc2f pushed by sipma
4m 50s attributes
attributes
4m 50s
CHB: allow for postcondition attributes on parameters dune CI #283: Commit 0796436 pushed by sipma
4m 57s attributes
attributes
4m 57s