Skip to content

Actions: viperproject/gobra-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add option for respectFunctionPrePermAmounts (#31)
test #276: Commit d57e830 pushed by jcp19
January 17, 2025 19:16 1m 33s main
January 17, 2025 19:16 1m 33s
Add option for respectFunctionPrePermAmounts
test #275: Pull request #31 synchronize by jcp19
January 17, 2025 19:13 1m 31s respect-function-pre-fractions
January 17, 2025 19:13 1m 31s
Add option for respectFunctionPrePermAmounts
test #273: Pull request #31 synchronize by jcp19
January 17, 2025 19:09 1m 42s respect-function-pre-fractions
January 17, 2025 19:09 1m 42s
Delete test/respectPreAmounts.gobra
test #272: Commit 5f2e67e pushed by jcp19
January 17, 2025 19:09 1m 35s respect-function-pre-fractions
January 17, 2025 19:09 1m 35s
Add option for respectFunctionPrePermAmounts
test #271: Pull request #31 synchronize by jcp19
January 17, 2025 19:06 1m 26s respect-function-pre-fractions
January 17, 2025 19:06 1m 26s
Add option for respectFunctionPrePermAmounts
test #267: Pull request #31 synchronize by jcp19
January 17, 2025 18:39 1m 11s respect-function-pre-fractions
January 17, 2025 18:39 1m 11s
fix typo
test #266: Commit 1ad5ad0 pushed by jcp19
January 17, 2025 18:39 1m 9s respect-function-pre-fractions
January 17, 2025 18:39 1m 9s
add new option
test #264: Commit 6141c6b pushed by jcp19
January 17, 2025 18:37 30s respect-function-pre-fractions
January 17, 2025 18:37 30s
Upgrade deprecated dependency (#30)
test #263: Commit f01ff4b pushed by jcp19
November 27, 2024 10:47 1m 39s main
November 27, 2024 10:47 1m 39s
Upgrade deprecated dependency
test #262: Pull request #30 opened by jcp19
November 27, 2024 10:40 1m 46s jcp19-update-deprecated-dependency
November 27, 2024 10:40 1m 46s
Update test.yml
test #261: Commit 8ac5b1f pushed by jcp19
November 27, 2024 10:40 1m 39s jcp19-update-deprecated-dependency
November 27, 2024 10:40 1m 39s
Increase Xss (#29)
test #260: Commit 74c41cb pushed by jcp19
April 19, 2024 09:51 1m 39s 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
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
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
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
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
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
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
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
March 15, 2024 13:10 1m 44s