Skip to content

Actions: viperproject/gobra-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Increase Xss (#29) test #260: Commit 74c41cb pushed by jcp19
April 19, 2024 09:51 1m 39s main
main
April 19, 2024 09:51 1m 39s
Increase Xss test #259: Pull request #29 opened by jcp19
April 19, 2024 09:47 1m 41s joao-inrease-xss
joao-inrease-xss
April 19, 2024 09:47 1m 41s
Increase Xss test #258: Commit cfcf9b3 pushed by jcp19
April 19, 2024 09:47 1m 38s joao-inrease-xss
joao-inrease-xss
April 19, 2024 09:47 1m 38s
more flexible moreJoins (#28) test #257: Commit 8f5cf83 pushed by jcp19
April 17, 2024 21:59 2m 16s main
main
April 17, 2024 21:59 2m 16s
more flexible moreJoins test #256: Pull request #28 opened by jcp19
April 17, 2024 20:18 5m 0s more_flexible_more_joins
more_flexible_more_joins
April 17, 2024 20:18 5m 0s
more flexible moreJoins test #255: Commit d2110f8 pushed by jcp19
April 17, 2024 20:17 4m 25s more_flexible_more_joins
more_flexible_more_joins
April 17, 2024 20:17 4m 25s
add flags for optimizations (#27) test #254: Commit e9d1162 pushed by jcp19
March 15, 2024 13:15 1m 34s main
main
March 15, 2024 13:15 1m 34s
add flags for optimizations test #253: Pull request #27 synchronize by jcp19
March 15, 2024 13:10 1m 43s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:10 1m 43s
disable API for now test #252: Commit b92dbae pushed by jcp19
March 15, 2024 13:10 1m 44s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:10 1m 44s
add flags for optimizations test #251: Pull request #27 synchronize by jcp19
March 15, 2024 13:08 55s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:08 55s
disable failing test due to missing theory test #250: Commit c29a7b0 pushed by jcp19
March 15, 2024 13:08 54s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:08 54s
add flags for optimizations test #249: Pull request #27 synchronize by jcp19
March 15, 2024 13:06 48s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:06 48s
backup test #248: Commit f0d573d pushed by jcp19
March 15, 2024 13:06 43s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:06 43s
add flags for optimizations test #247: Pull request #27 synchronize by jcp19
March 15, 2024 13:03 46s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:03 46s
drop test that depends on Gobra #742 test #246: Commit c8cadeb pushed by jcp19
March 15, 2024 13:03 45s add-flags-optimizations
add-flags-optimizations
March 15, 2024 13:03 45s
add flags for optimizations test #245: Pull request #27 synchronize by jcp19
March 15, 2024 12:58 24s add-flags-optimizations
add-flags-optimizations
March 15, 2024 12:58 24s
add option to test test #244: Commit a3f562e pushed by jcp19
March 15, 2024 12:58 27s add-flags-optimizations
add-flags-optimizations
March 15, 2024 12:58 27s
add flags for optimizations test #243: Pull request #27 opened by jcp19
March 15, 2024 12:57 48s add-flags-optimizations
add-flags-optimizations
March 15, 2024 12:57 48s
add flags for optimizations test #242: Commit 349df8d pushed by jcp19
March 15, 2024 12:56 45s add-flags-optimizations
add-flags-optimizations
March 15, 2024 12:56 45s
Add option disableNL (#26) test #241: Commit 6ca5a77 pushed by jcp19
March 1, 2024 08:47 1m 33s main
main
March 1, 2024 08:47 1m 33s
Add option disableNL test #240: Pull request #26 opened by jcp19
March 1, 2024 08:45 1m 37s joao-disale-nl
joao-disale-nl
March 1, 2024 08:45 1m 37s
disableNL test #239: Commit 04cd7ca pushed by jcp19
March 1, 2024 08:45 1m 50s joao-disale-nl
joao-disale-nl
March 1, 2024 08:45 1m 50s
Add flag for z3api (#25) test #238: Commit 9ad7a52 pushed by jcp19
February 21, 2024 13:02 1m 58s main
main
February 21, 2024 13:02 1m 58s
Add flag for z3api test #237: Pull request #25 opened by jcp19
February 21, 2024 12:59 2m 11s joao-z3-api
joao-z3-api
February 21, 2024 12:59 2m 11s
add flag for z3api test #236: Commit 2f49592 pushed by jcp19
February 21, 2024 12:59 2m 2s joao-z3-api
joao-z3-api
February 21, 2024 12:59 2m 2s