Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,142 workflow runs
1,142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Package invariants test #4941: Pull request #810 synchronize by jcp19
January 23, 2025 09:14 21m 47s continue-msinit
continue-msinit
January 23, 2025 09:14 21m 47s
add check for global variable decls that prevent calling interface me… test #4940: Commit 5ef3294 pushed by jcp19
January 23, 2025 09:14 3h 31m 31s continue-msinit
continue-msinit
January 23, 2025 09:14 3h 31m 31s
extends CLI to support more complete SIF encoding supporting non-low … test #4939: Commit 8facab5 pushed by ArquintL
January 22, 2025 22:20 19m 24s hyperGobra
hyperGobra
January 22, 2025 22:20 19m 24s
adds a first test case test #4938: Commit 7910519 pushed by ArquintL
January 22, 2025 21:46 26m 41s hyperGobra
hyperGobra
January 22, 2025 21:46 26m 41s
More robust config creation test #4937: Pull request #824 synchronize by ArquintL
January 22, 2025 21:12 21m 11s more-robust-config-creation
more-robust-config-creation
January 22, 2025 21:12 21m 11s
More robust config creation license-check #1977: Pull request #824 synchronize by ArquintL
January 22, 2025 21:12 15s more-robust-config-creation
more-robust-config-creation
January 22, 2025 21:12 15s
implements CR suggestions by Joao test #4936: Commit 1b65121 pushed by ArquintL
January 22, 2025 21:12 21m 27s more-robust-config-creation
more-robust-config-creation
January 22, 2025 21:12 21m 27s
More robust config creation license-check #1976: Pull request #824 synchronize by ArquintL
January 22, 2025 21:06 14s more-robust-config-creation
more-robust-config-creation
January 22, 2025 21:06 14s
More robust config creation test #4935: Pull request #824 synchronize by ArquintL
January 22, 2025 21:06 22m 44s more-robust-config-creation
more-robust-config-creation
January 22, 2025 21:06 22m 44s
implements CR suggestion by Joao test #4934: Commit d72d29a pushed by ArquintL
January 22, 2025 21:06 21m 23s more-robust-config-creation
more-robust-config-creation
January 22, 2025 21:06 21m 23s
Update Submodules Update Submodules #126: Manually run by jcp19
January 22, 2025 18:22 15s master
master
January 22, 2025 18:22 15s
More robust config creation test #4933: Pull request #824 synchronize by ArquintL
January 22, 2025 17:18 16m 28s more-robust-config-creation
more-robust-config-creation
January 22, 2025 17:18 16m 28s
More robust config creation license-check #1975: Pull request #824 synchronize by ArquintL
January 22, 2025 17:18 14s more-robust-config-creation
more-robust-config-creation
January 22, 2025 17:18 14s
Updates ViperServer to latest commit on 'master' test #4932: Commit 182ac1d pushed by ArquintL
January 22, 2025 17:18 22m 5s more-robust-config-creation
more-robust-config-creation
January 22, 2025 17:18 22m 5s
adds support for warnings to Gobra and adds a type checker warning fo… test #4931: Commit c753f57 pushed by ArquintL
January 22, 2025 17:13 15m 24s support-for-warnings
support-for-warnings
January 22, 2025 17:13 15m 24s
Fixes #823 (#825) test #4930: Commit 391bd97 pushed by ArquintL
January 22, 2025 15:27 22m 14s master
master
January 22, 2025 15:27 22m 14s
Fixes #823 test #4929: Pull request #825 synchronize by ArquintL
January 21, 2025 15:06 22m 47s issue-823
issue-823
January 21, 2025 15:06 22m 47s
Fixes #823 license-check #1974: Pull request #825 synchronize by ArquintL
January 21, 2025 15:06 12s issue-823
issue-823
January 21, 2025 15:06 12s
Updates ViperServer to latest commit on branch 'master' test #4928: Commit d3d0ad7 pushed by ArquintL
January 21, 2025 15:06 16m 42s issue-823
issue-823
January 21, 2025 15:06 16m 42s
Support for Ghost Types license-check #1973: Pull request #773 synchronize by ArquintL
January 21, 2025 14:23 13s ghost-types
ghost-types
January 21, 2025 14:23 13s
Support for Ghost Types test #4927: Pull request #773 synchronize by ArquintL
January 21, 2025 14:23 16m 11s ghost-types
ghost-types
January 21, 2025 14:23 16m 11s
implements CR sugggestion by Felix test #4926: Commit 5f77eee pushed by ArquintL
January 21, 2025 14:23 16m 3s ghost-types
ghost-types
January 21, 2025 14:23 16m 3s
More robust config creation license-check #1972: Pull request #824 synchronize by ArquintL
January 21, 2025 14:17 18s more-robust-config-creation
more-robust-config-creation
January 21, 2025 14:17 18s
More robust config creation test #4925: Pull request #824 synchronize by ArquintL
January 21, 2025 14:17 18m 57s more-robust-config-creation
more-robust-config-creation
January 21, 2025 14:17 18m 57s
Updates ViperServer to latest commit on 'master' test #4924: Commit 4f68b39 pushed by ArquintL
January 21, 2025 14:17 15m 3s more-robust-config-creation
more-robust-config-creation
January 21, 2025 14:17 15m 3s