Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
921 workflow runs
921 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feedback from Felix test #4215: Commit e87d2dd pushed by jcp19
September 22, 2023 16:51 54m 19s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 16:51 54m 19s
Improvements in maps license-check #1691: Pull request #676 synchronize by jcp19
September 22, 2023 16:46 16s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 16:46 16s
Improvements in maps test #4214: Pull request #676 synchronize by jcp19
September 22, 2023 16:46 25m 39s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 16:46 25m 39s
Apply suggestions from code review test #4213: Commit 31498c4 pushed by jcp19
September 22, 2023 16:46 27m 50s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 16:46 27m 50s
doc test #4212: Commit b6518a7 pushed by jcp19
September 22, 2023 14:46 36m 53s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 14:46 36m 53s
Improvements in maps license-check #1690: Pull request #676 synchronize by jcp19
September 22, 2023 14:18 17s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 14:18 17s
Improvements in maps test #4211: Pull request #676 synchronize by jcp19
September 22, 2023 14:18 24m 0s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 14:18 24m 0s
backup test #4210: Commit d0cad53 pushed by jcp19
September 22, 2023 14:18 1h 12m 46s joao-fix-map-triggers
joao-fix-map-triggers
September 22, 2023 14:18 1h 12m 46s
Enable let expressions with weakly pure subexpressions (#678) test #4209: Commit 17f510b pushed by jcp19
September 22, 2023 14:08 34m 8s master
master
September 22, 2023 14:08 34m 8s
Enable let expressions with weakly pure subexpressions test #4208: Pull request #678 synchronize by jcp19
September 22, 2023 08:41 27m 8s joao-generalize-let
joao-generalize-let
September 22, 2023 08:41 27m 8s
Enable let expressions with weakly pure subexpressions license-check #1689: Pull request #678 synchronize by jcp19
September 22, 2023 08:41 18s joao-generalize-let
joao-generalize-let
September 22, 2023 08:41 18s
addressability of let test #4207: Commit 71eb1ed pushed by jcp19
September 22, 2023 08:41 26m 31s joao-generalize-let
joao-generalize-let
September 22, 2023 08:41 26m 31s
Enable let expressions with weakly pure subexpressions test #4206: Pull request #678 synchronize by jcp19
September 21, 2023 14:17 39m 27s joao-generalize-let
joao-generalize-let
September 21, 2023 14:17 39m 27s
Enable let expressions with weakly pure subexpressions license-check #1688: Pull request #678 synchronize by jcp19
September 21, 2023 14:17 18s joao-generalize-let
joao-generalize-let
September 21, 2023 14:17 18s
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 let expressions with weakly pure subexpressions license-check #1687: Pull request #678 opened by jcp19
September 21, 2023 13:12 18s joao-generalize-let
joao-generalize-let
September 21, 2023 13:12 18s
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 license-check #1686: Pull request #676 synchronize by jcp19
September 21, 2023 11:20 16s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 11:20 16s
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
Improvements in maps license-check #1685: Pull request #676 synchronize by jcp19
September 21, 2023 09:58 22s joao-fix-map-triggers
joao-fix-map-triggers
September 21, 2023 09:58 22s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-21 or the other filters available.