Skip to content

Actions: viperproject/gobra-action

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix parse error (#24)
test #235: Commit 5f1a2c1 pushed by jcp19
February 14, 2024 15:36 1m 32s main
February 14, 2024 15:36 1m 32s
fix parse error
test #234: Pull request #24 opened by jcp19
February 14, 2024 15:33 1m 23s fix-parse-error
February 14, 2024 15:33 1m 23s
fix parse error
test #233: Commit b24e6bf pushed by jcp19
February 14, 2024 15:33 1m 24s fix-parse-error
February 14, 2024 15:33 1m 24s
fix
test #232: Commit 4b74bdb pushed by jcp19
February 14, 2024 13:36 26s main
February 14, 2024 13:36 26s
Change location to see if syntax error still ocurs
test #231: Commit 5399d5e pushed by jcp19
February 14, 2024 13:33 23s main
February 14, 2024 13:33 23s
Add test for overflow checking (#23)
test #230: Commit 482aca5 pushed by jcp19
February 14, 2024 13:26 1m 23s main
February 14, 2024 13:26 1m 23s
Add test for overflow checking
test #229: Pull request #23 opened by jcp19
February 14, 2024 13:20 1m 31s joao-add-test-overflow
February 14, 2024 13:20 1m 31s
add test
test #228: Commit cf24798 pushed by jcp19
February 14, 2024 13:20 1m 27s joao-add-test-overflow
February 14, 2024 13:20 1m 27s
fix typo
test #227: Commit 12afb6e pushed by jcp19
February 14, 2024 13:18 1m 27s main
February 14, 2024 13:18 1m 27s
Add support for checking for overflows (#22)
test #226: Commit 829a3bd pushed by jcp19
February 14, 2024 13:07 1m 22s main
February 14, 2024 13:07 1m 22s
Add support for checking for overflows
test #225: Pull request #22 synchronize by jcp19
February 14, 2024 13:03 1m 25s joao-overflow
February 14, 2024 13:03 1m 25s
fix termination checking
test #224: Commit dbfe7e6 pushed by jcp19
February 14, 2024 13:03 1m 18s joao-overflow
February 14, 2024 13:03 1m 18s
Add support for checking for overflows
test #223: Pull request #22 opened by jcp19
February 14, 2024 13:02 29s joao-overflow
February 14, 2024 13:02 29s
add overflow flag
test #222: Commit d8ed749 pushed by jcp19
February 14, 2024 13:01 26s joao-overflow
February 14, 2024 13:01 26s
add support for --requireTriggers (#21)
test #221: Commit 5889863 pushed by jcp19
September 24, 2023 13:09 2m 13s main
September 24, 2023 13:09 2m 13s
add support for --requireTriggers
test #220: Pull request #21 opened by jcp19
September 24, 2023 13:06 1m 45s joao-require-triggers
September 24, 2023 13:06 1m 45s
add support for --requireTriggers
test #219: Commit 25e6dac pushed by jcp19
September 24, 2023 13:06 1m 46s joao-require-triggers
September 24, 2023 13:06 1m 46s