Skip to content

Actions: viperproject/gobra

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
622 workflow runs
622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix tests test #4205: Commit 9ed226d pushed by jcp19
September 21, 2023 14:17 23m 1s joao-generalize-let
joao-generalize-let
September 21, 2023 14:17 23m 1s
Enable let expressions with weakly pure subexpressions test #4204: Pull request #678 opened by jcp19
September 21, 2023 13:12 28m 21s joao-generalize-let
joao-generalize-let
September 21, 2023 13:12 28m 21s
enable non-pure lets test #4203: Commit a01eda6 pushed by jcp19
September 21, 2023 13:05 45m 5s joao-generalize-let
joao-generalize-let
September 21, 2023 13:05 45m 5s
Improvements in maps test #4202: Pull request #676 synchronize by jcp19
September 21, 2023 11:20 17m 35s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 11:20 17m 35s
Merge branch 'master' into joao-fix-map-triggers test #4201: Commit d011c81 pushed by jcp19
September 21, 2023 11:20 18m 33s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 11:20 18m 33s
Updates submodules (#677) test #4200: Commit 0c28a11 pushed by jcp19
September 21, 2023 10:00 17m 14s master
master
September 21, 2023 10:00 17m 14s
Improvements in maps test #4199: Pull request #676 synchronize by jcp19
September 21, 2023 09:58 28m 7s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 09:58 28m 7s
fix issues with 'contains' in maps and with trigger generation test #4198: Commit 5cd4b21 pushed by jcp19
September 21, 2023 09:58 26m 39s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 09:58 26m 39s
Update Submodules test #4197: Pull request #677 opened by viper-admin
September 21, 2023 09:17 24m 34s auto-update-submodules
auto-update-submodules
September 21, 2023 09:17 24m 34s
Updates submodules test #4196: Commit 7fe4097 pushed by viper-admin
September 21, 2023 09:17 47m 40s auto-update-submodules
auto-update-submodules
September 21, 2023 09:17 47m 40s
Improvements in maps test #4195: Pull request #676 opened by jcp19
September 21, 2023 09:06 30m 9s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 09:06 30m 9s
cleanup test #4194: Commit 93798d6 pushed by jcp19
September 21, 2023 08:55 24m 19s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 08:55 24m 19s
start fixing triggers maps test #4193: Commit 002ef76 pushed by jcp19
September 19, 2023 19:52 22m 46s joao-fix-map-triggers
joao-fix-map-triggers
September 19, 2023 19:52 22m 46s
Missing termination measures (#675) test #4192: Commit 86529bc pushed by Dspil
September 14, 2023 18:14 17m 29s master
master
September 14, 2023 18:14 17m 29s
Missing termination measures test #4191: Pull request #675 synchronize by Dspil
September 14, 2023 15:08 27m 49s dspil_sadd_termination
dspil_sadd_termination
September 14, 2023 15:08 27m 49s
change dummy comment in synthesized test #4190: Commit 0ab9faa pushed by Dspil
September 14, 2023 15:08 37m 10s dspil_sadd_termination
dspil_sadd_termination
September 14, 2023 15:08 37m 10s
Missing termination measures test #4189: Pull request #675 opened by Dspil
September 14, 2023 14:44 28m 16s dspil_sadd_termination
dspil_sadd_termination
September 14, 2023 14:44 28m 16s
sliceconstruct termination measure test #4188: Commit 4d73949 pushed by Dspil
September 14, 2023 14:43 30m 20s dspil_sadd_termination
dspil_sadd_termination
September 14, 2023 14:43 30m 20s
sadd termination test #4187: Commit b3d4f15 pushed by Dspil
September 14, 2023 14:38 45m 4s dspil_sadd_termination
dspil_sadd_termination
September 14, 2023 14:38 45m 4s
Slice from array didn't have termination measure (#674) test #4186: Commit 5b178fc pushed by jcp19
September 13, 2023 19:21 33m 15s master
master
September 13, 2023 19:21 33m 15s
Slice from array didn't have termination measure test #4185: Pull request #674 opened by Dspil
September 13, 2023 09:54 31m 13s dspil_termination_slice
dspil_termination_slice
September 13, 2023 09:54 31m 13s
termination test #4184: Commit fa0a0d4 pushed by Dspil
September 13, 2023 09:25 33m 59s dspil_termination_slice
dspil_termination_slice
September 13, 2023 09:25 33m 59s
Add flag to use Z3 via API (#666) test #4183: Commit 21bd69f pushed by Dspil
September 12, 2023 09:52 1h 8m 40s master
master
September 12, 2023 09:52 1h 8m 40s
Add flag to use Z3 via API test #4182: Pull request #666 synchronize by Dspil
September 12, 2023 08:59 50m 4s z3_api_flag
z3_api_flag
September 12, 2023 08:59 50m 4s
Joao's feedback test #4181: Commit 09ec7eb pushed by Dspil
September 12, 2023 08:59 38m 27s z3_api_flag
z3_api_flag
September 12, 2023 08:59 38m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.