Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

defines '==' for ghost structs to be the same as '===' test #4957: Commit 0e6da08 pushed by ArquintL
January 24, 2025 15:09 21m 15s ghost-types
ghost-types
January 24, 2025 15:09 21m 15s
fixes badge in README test #4956: Commit 19886de pushed by ArquintL
January 24, 2025 13:10 16m 19s master
master
January 24, 2025 13:10 16m 19s
Hyper Gobra test #4955: Pull request #802 synchronize by ArquintL
January 24, 2025 13:07 13m 12s hyperGobra
hyperGobra
January 24, 2025 13:07 13m 12s
Hyper Gobra license-check #1984: Pull request #802 synchronize by ArquintL
January 24, 2025 13:07 12s hyperGobra
hyperGobra
January 24, 2025 13:07 12s
adds missing headers test #4954: Commit b5455b4 pushed by ArquintL
January 24, 2025 13:07 13m 31s hyperGobra
hyperGobra
January 24, 2025 13:07 13m 31s
Hyper Gobra test #4953: Pull request #802 synchronize by ArquintL
January 24, 2025 13:04 13m 33s hyperGobra
hyperGobra
January 24, 2025 13:04 13m 33s
Hyper Gobra license-check #1983: Pull request #802 synchronize by ArquintL
January 24, 2025 13:04 15s hyperGobra
hyperGobra
January 24, 2025 13:04 15s
Merges branch 'master' into 'hyperGobra' test #4952: Commit df540d9 pushed by ArquintL
January 24, 2025 13:04 12m 58s hyperGobra
hyperGobra
January 24, 2025 13:04 12m 58s
Relative Paths in Generated Parser license-check #1982: Pull request #827 opened by ArquintL
January 24, 2025 12:59 17s relative-generated-parser-paths
relative-generated-parser-paths
January 24, 2025 12:59 17s
Relative Paths in Generated Parser test #4951: Pull request #827 opened by ArquintL
January 24, 2025 12:59 16m 41s relative-generated-parser-paths
relative-generated-parser-paths
January 24, 2025 12:59 16m 41s
automatically makes paths in generated parser files relative test #4950: Commit a28445f pushed by ArquintL
January 24, 2025 12:58 17m 54s relative-generated-parser-paths
relative-generated-parser-paths
January 24, 2025 12:58 17m 54s
Package invariants test #4949: Pull request #810 synchronize by jcp19
January 23, 2025 15:58 21m 40s continue-msinit
continue-msinit
January 23, 2025 15:58 21m 40s
Package invariants license-check #1981: Pull request #810 synchronize by jcp19
January 23, 2025 15:58 14s continue-msinit
continue-msinit
January 23, 2025 15:58 14s
improve error messages test #4948: Commit a9e5998 pushed by jcp19
January 23, 2025 15:58 20m 38s continue-msinit
continue-msinit
January 23, 2025 15:58 20m 38s
Package invariants license-check #1980: Pull request #810 synchronize by jcp19
January 23, 2025 10:53 15s continue-msinit
continue-msinit
January 23, 2025 10:53 15s
Package invariants test #4947: Pull request #810 synchronize by jcp19
January 23, 2025 10:53 21m 18s continue-msinit
continue-msinit
January 23, 2025 10:53 21m 18s
merge with master test #4946: Commit 0eb628d pushed by jcp19
January 23, 2025 10:53 55m 16s continue-msinit
continue-msinit
January 23, 2025 10:53 55m 16s
backup test #4945: Commit fb6a51e pushed by jcp19
January 23, 2025 09:58 6h 5m 10s continue-msinit
continue-msinit
January 23, 2025 09:58 6h 5m 10s
More robust config creation (#824) test #4944: Commit 41a583e pushed by ArquintL
January 23, 2025 09:46 16m 18s master
master
January 23, 2025 09:46 16m 18s
Package invariants test #4943: Pull request #810 synchronize by jcp19
January 23, 2025 09:28 23m 14s continue-msinit
continue-msinit
January 23, 2025 09:28 23m 14s
Package invariants license-check #1979: Pull request #810 synchronize by jcp19
January 23, 2025 09:28 17s continue-msinit
continue-msinit
January 23, 2025 09:28 17s
cleanup test #4942: Commit 91dd34f pushed by jcp19
January 23, 2025 09:28 20m 49s continue-msinit
continue-msinit
January 23, 2025 09:28 20m 49s
Package invariants license-check #1978: Pull request #810 synchronize by jcp19
January 23, 2025 09:14 14s continue-msinit
continue-msinit
January 23, 2025 09:14 14s
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