Skip to content

Actions: viperproject/gobra

Actions

license-check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
license-check.yml
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add purity checks to the ternary expression license-check #1878: Pull request #778 synchronize by jcp19
July 2, 2024 12:19 13s joao-fix777
joao-fix777
July 2, 2024 12:19 13s
Add purity checks to the ternary expression license-check #1877: Pull request #778 opened by jcp19
July 2, 2024 11:05 14s joao-fix777
joao-fix777
July 2, 2024 11:05 14s
Add refute statement license-check #1876: Pull request #776 opened by bruggerl
July 1, 2024 14:58 13s bruggerl/refute
bruggerl/refute
July 1, 2024 14:58 13s
Bump docker/build-push-action from 5 to 6 in the all group license-check #1875: Pull request #775 opened by dependabot bot
July 1, 2024 07:16 14s dependabot/github_actions/all-bf940bc907
dependabot/github_actions/all-bf940bc907
July 1, 2024 07:16 14s
Update Submodules license-check #1874: Pull request #774 opened by viper-admin
July 1, 2024 06:01 12s auto-update-submodules
auto-update-submodules
July 1, 2024 06:01 12s
Support for Ghost Types license-check #1873: Pull request #773 opened by ArquintL
June 24, 2024 15:06 13s ghost-types
ghost-types
June 24, 2024 15:06 13s
Gobra CLI Input Documentation license-check #1872: Pull request #610 synchronize by ArquintL
June 18, 2024 06:48 12s cli-options-documentation
cli-options-documentation
June 18, 2024 06:48 12s
Gobra CLI Input Documentation license-check #1871: Pull request #610 synchronize by ArquintL
June 18, 2024 06:42 15s cli-options-documentation
cli-options-documentation
June 18, 2024 06:42 15s
Update Submodules license-check #1870: Pull request #772 opened by viper-admin
June 17, 2024 18:02 18s auto-update-submodules
auto-update-submodules
June 17, 2024 18:02 18s
Ghost Pointer & Ghost Fields license-check #1869: Pull request #771 opened by ArquintL
May 24, 2024 07:40 13s tmp-branch-for-#747-#755-#766
tmp-branch-for-#747-#755-#766
May 24, 2024 07:40 13s
Support for Ghost Fields license-check #1868: Pull request #766 synchronize by ArquintL
May 24, 2024 07:05 16s ghost-field
ghost-field
May 24, 2024 07:05 16s
Support for Ghost Fields license-check #1867: Pull request #766 synchronize by ArquintL
May 23, 2024 14:56 14s ghost-field
ghost-field
May 23, 2024 14:56 14s
Disallows impure non-ghost calls in ghost code license-check #1866: Pull request #755 synchronize by ArquintL
May 23, 2024 07:42 13s impure-calls-in-ghost-code
impure-calls-in-ghost-code
May 23, 2024 07:42 13s
Disallows impure non-ghost calls in ghost code license-check #1865: Pull request #755 synchronize by ArquintL
May 23, 2024 07:41 16s impure-calls-in-ghost-code
impure-calls-in-ghost-code
May 23, 2024 07:41 16s
Support for Ghost Fields license-check #1864: Pull request #766 synchronize by ArquintL
May 21, 2024 13:28 14m 17s ghost-field
ghost-field
May 21, 2024 13:28 14m 17s
Support for Ghost Fields license-check #1863: Pull request #766 synchronize by ArquintL
May 21, 2024 13:10 19m 26s ghost-field
ghost-field
May 21, 2024 13:10 19m 26s
Support for Ghost Fields license-check #1862: Pull request #766 synchronize by ArquintL
May 21, 2024 12:03 17m 2s ghost-field
ghost-field
May 21, 2024 12:03 17m 2s
Support for Ghost Fields license-check #1861: Pull request #766 synchronize by ArquintL
May 21, 2024 11:59 18m 32s ghost-field
ghost-field
May 21, 2024 11:59 18m 32s
Fix purity classification of composite literals license-check #1860: Pull request #768 synchronize by jcp19
May 21, 2024 08:10 20s fix_pure_literals
fix_pure_literals
May 21, 2024 08:10 20s
Fix purity classification of composite literals license-check #1859: Pull request #768 synchronize by jcp19
May 21, 2024 07:48 19s fix_pure_literals
fix_pure_literals
May 21, 2024 07:48 19s
Fix purity classification of composite literals license-check #1858: Pull request #768 synchronize by jcp19
May 20, 2024 09:32 16s fix_pure_literals
fix_pure_literals
May 20, 2024 09:32 16s
Update Submodules license-check #1857: Pull request #769 opened by viper-admin
May 20, 2024 08:53 13s auto-update-submodules
auto-update-submodules
May 20, 2024 08:53 13s
Fix purity classification of composite literals license-check #1856: Pull request #768 synchronize by jcp19
May 20, 2024 08:50 17s fix_pure_literals
fix_pure_literals
May 20, 2024 08:50 17s
Fix purity classification of composite literals license-check #1855: Pull request #768 synchronize by jcp19
May 19, 2024 21:56 13s fix_pure_literals
fix_pure_literals
May 19, 2024 21:56 13s
Fix purity classification of composite literals license-check #1854: Pull request #768 opened by jcp19
May 19, 2024 21:24 15s fix_pure_literals
fix_pure_literals
May 19, 2024 21:24 15s