Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
288 workflow run results
288 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1167 from goblint/libfuns-zlib-lzma semgrep #7731: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 43s master
master
September 18, 2023 09:02 43s
Merge pull request #1167 from goblint/libfuns-zlib-lzma indentation #8041: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 6m 31s master
master
September 18, 2023 09:02 6m 31s
Merge pull request #1167 from goblint/libfuns-zlib-lzma docs #107: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 3m 53s master
master
September 18, 2023 09:02 3m 53s
Merge pull request #1167 from goblint/libfuns-zlib-lzma locked #8323: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 47m 57s master
master
September 18, 2023 09:02 47m 57s
Fix thread analysis termination with a self-creating thread options #6059: Pull request #1173 opened by sim642
September 18, 2023 09:01 18s thread-self-create
thread-self-create
September 18, 2023 09:01 18s
Fix thread analysis termination with a self-creating thread semgrep #7730: Pull request #1173 opened by sim642
September 18, 2023 09:01 55s thread-self-create
thread-self-create
September 18, 2023 09:01 55s
Fix thread analysis termination with a self-creating thread locked #8322: Pull request #1173 opened by sim642
September 18, 2023 09:01 47m 9s thread-self-create
thread-self-create
September 18, 2023 09:01 47m 9s
Fix thread analysis termination with a self-creating thread indentation #8040: Pull request #1173 opened by sim642
September 18, 2023 09:01 3s thread-self-create
thread-self-create
September 18, 2023 09:01 3s
Fix thread analysis termination with a self-creating thread coverage #460: Pull request #1173 opened by sim642
September 18, 2023 09:01 18m 41s thread-self-create
thread-self-create
September 18, 2023 09:01 18m 41s
Fix 10-synch/07-thread_self_create semgrep #7729: Commit 2486404 pushed by sim642
September 18, 2023 08:56 50s thread-self-create
thread-self-create
September 18, 2023 08:56 50s
Fix 10-synch/07-thread_self_create options #6058: Commit 2486404 pushed by sim642
September 18, 2023 08:56 31s thread-self-create
thread-self-create
September 18, 2023 08:56 31s
Fix 10-synch/07-thread_self_create locked #8321: Commit 2486404 pushed by sim642
September 18, 2023 08:56 52m 4s thread-self-create
thread-self-create
September 18, 2023 08:56 52m 4s
Fix 10-synch/07-thread_self_create indentation #8039: Commit 2486404 pushed by sim642
September 18, 2023 08:56 2s thread-self-create
thread-self-create
September 18, 2023 08:56 2s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions options #6057: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 1m 13s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 1m 13s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions indentation #8038: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 8m 31s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 8m 31s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions locked #8320: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 31m 51s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 31m 51s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions semgrep #7728: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 1m 42s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 1m 42s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions coverage #459: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 20m 8s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 20m 8s
Apply suggestions from code review options #6056: Commit 684cfa8 pushed by karoliineh
September 18, 2023 08:37 44s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 44s
Apply suggestions from code review indentation #8037: Commit 684cfa8 pushed by karoliineh
September 18, 2023 08:37 6m 32s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 6m 32s
Apply suggestions from code review locked #8319: Commit 684cfa8 pushed by karoliineh
September 18, 2023 08:37 34m 7s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 34m 7s
Apply suggestions from code review semgrep #7727: Commit 684cfa8 pushed by karoliineh
September 18, 2023 08:37 59s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 59s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions semgrep #7726: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:36 1m 3s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 1m 3s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions options #6055: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:36 22s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 22s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions coverage #458: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:36 30m 0s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 30m 0s