Skip to content

Actions: diffblue/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow run results
23 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Define coverage blocks so as to be terminated by all assumptions Build and Test CBMC #8873: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 1h 11m 50s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 1h 11m 50s
Define coverage blocks so as to be terminated by all assumptions CodeQL #4865: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 1h 13m 58s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 1h 13m 58s
Define coverage blocks so as to be terminated by all assumptions Build and Test the Rust API #1682: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 2m 7s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 2m 7s
Define coverage blocks so as to be terminated by all assumptions Publish CBMC documentation #3320: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 3m 0s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 3m 0s
Define coverage blocks so as to be terminated by all assumptions Run CSmith #7615: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 4m 28s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 4m 28s
Define coverage blocks so as to be terminated by all assumptions Syntactic checks #1480: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 1m 26s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 1m 26s
Define coverage blocks so as to be terminated by all assumptions Build Linux partially with CPROVER tools #6382: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 6m 15s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 6m 15s
Define coverage blocks so as to be terminated by all assumptions Build Doxygen Documentation #7860: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 2m 3s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 2m 3s
Define coverage blocks so as to be terminated by all assumptions Build Xen with CPROVER tools #8276: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 11m 48s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 11m 48s
Define coverage blocks so as to be terminated by all assumptions Publish CBMC documentation #3319: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 2m 40s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 2m 40s
Define coverage blocks so as to be terminated by all assumptions Build and Test CBMC #8872: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 1h 1m 17s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 1h 1m 17s
Define coverage blocks so as to be terminated by all assumptions Build Doxygen Documentation #7859: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 2m 21s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 2m 21s
Define coverage blocks so as to be terminated by all assumptions Build Linux partially with CPROVER tools #6381: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 6m 15s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 6m 15s
Define coverage blocks so as to be terminated by all assumptions Build and Test the Rust API #1681: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 33m 21s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 33m 21s
Define coverage blocks so as to be terminated by all assumptions Syntactic checks #1479: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 1m 37s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 1m 37s
Define coverage blocks so as to be terminated by all assumptions Build Xen with CPROVER tools #8275: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 11m 28s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 11m 28s
Define coverage blocks so as to be terminated by all assumptions CodeQL #4864: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 1h 7m 25s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 1h 7m 25s
Define coverage blocks so as to be terminated by all assumptions Run CSmith #7614: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 5m 53s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 5m 53s
pages build and deployment pages-build-deployment #791: by github-pages bot
October 10, 2023 13:57 1m 57s gh-pages
gh-pages
October 10, 2023 13:57 1m 57s
Merge pull request #7809 from NlightNFotis/address_of_field Publish CBMC documentation #3318: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 3m 16s develop
develop
October 10, 2023 13:54 3m 16s
Merge pull request #7809 from NlightNFotis/address_of_field Build and Test CBMC #8871: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 1h 5m 18s develop
develop
October 10, 2023 13:54 1h 5m 18s
Merge pull request #7809 from NlightNFotis/address_of_field Build and Test the Rust API #1680: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 2m 43s develop
develop
October 10, 2023 13:54 2m 43s
Merge pull request #7809 from NlightNFotis/address_of_field CodeQL #4863: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 1h 8m 9s develop
develop
October 10, 2023 13:54 1h 8m 9s