Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
125 workflow run results
125 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #8093: Scheduled
August 17, 2023 01:56 2h 6m 42s master
master
August 17, 2023 01:56 2h 6m 42s
Library functions that are used in the silver searcher including some from the pcre library locked #8092: Pull request #1138 opened by karoliineh
August 16, 2023 16:41 29m 6s libfuns-silver-searcher
libfuns-silver-searcher
August 16, 2023 16:41 29m 6s
Add some library functions that are used in the silver searcher locked #8091: Commit 5713231 pushed by karoliineh
August 16, 2023 16:26 54m 13s libfuns-silver-searcher
libfuns-silver-searcher
August 16, 2023 16:26 54m 13s
Merge pull request #1127 from mrstanb/memleak-analysis locked #8090: Commit 69ee716 pushed by michael-schwarz
August 16, 2023 08:49 27m 41s master
master
August 16, 2023 08:49 27m 41s
Upgrade to OCaml 5.0 as default locked #8089: Pull request #1137 opened by sim642
August 16, 2023 08:26 36m 4s ocaml-5-apron
ocaml-5-apron
August 16, 2023 08:26 36m 4s
Make OCaml 5.0 default everywhere locked #8088: Commit 9146e4f pushed by sim642
August 16, 2023 08:21 36m 36s ocaml-5-apron
ocaml-5-apron
August 16, 2023 08:21 36m 36s
Upgrade to OCaml 5.0 locked #8087: Commit d764aad pushed by sim642
August 16, 2023 07:25 12m 15s ocaml-5-apron
ocaml-5-apron
August 16, 2023 07:25 12m 15s
locked locked #8086: Scheduled
August 16, 2023 01:57 2h 12m 12s master
master
August 16, 2023 01:57 2h 12m 12s
Make access outer distribution lazy locked #8085: Pull request #1136 synchronize by sim642
August 15, 2023 14:52 32m 18s access-distr-outer
access-distr-outer
August 15, 2023 14:52 32m 18s
Use fewer Cil.typeSig calls for Access.add_distribute_outer locked #8084: Commit 789dd00 pushed by sim642
August 15, 2023 14:52 29m 17s access-distr-outer
access-distr-outer
August 15, 2023 14:52 29m 17s
Make access outer distribution lazy locked #8083: Pull request #1136 synchronize by sim642
August 15, 2023 14:40 34m 37s access-distr-outer
access-distr-outer
August 15, 2023 14:40 34m 37s
Fix non-struct typsig pretty in MemoRoot locked #8082: Commit 48884b3 pushed by sim642
August 15, 2023 14:40 35m 47s access-distr-outer
access-distr-outer
August 15, 2023 14:40 35m 47s
Make access outer distribution lazy locked #8081: Pull request #1136 synchronize by sim642
August 15, 2023 13:58 38m 1s access-distr-outer
access-distr-outer
August 15, 2023 13:58 38m 1s
Document new race analysis locked #8080: Commit 81dac32 pushed by sim642
August 15, 2023 13:58 37m 0s access-distr-outer
access-distr-outer
August 15, 2023 13:58 37m 0s
Make access outer distribution lazy locked #8079: Pull request #1136 synchronize by karoliineh
August 15, 2023 11:42 30m 12s access-distr-outer
access-distr-outer
August 15, 2023 11:42 30m 12s
Refactor distribute_outer locked #8078: Commit 21332cc pushed by karoliineh
August 15, 2023 11:42 38m 22s access-distr-outer
access-distr-outer
August 15, 2023 11:42 38m 22s
Make new cram tests deterministic locked #8076: Commit d6c5bba pushed by karoliineh
August 15, 2023 10:59 37m 11s access-distr-outer
access-distr-outer
August 15, 2023 10:59 37m 11s
Make access outer distribution lazy locked #8077: Pull request #1136 synchronize by karoliineh
August 15, 2023 10:59 28m 58s access-distr-outer
access-distr-outer
August 15, 2023 10:59 28m 58s
Fix index in type_suffix_memo locked #8075: Commit b28cbba pushed by karoliineh
August 15, 2023 10:33 35m 6s access-distr-outer
access-distr-outer
August 15, 2023 10:33 35m 6s
Refactor and document todo' computation locked #8074: Commit 69ddfdf pushed by karoliineh
August 15, 2023 09:13 29m 3s access-distr-outer
access-distr-outer
August 15, 2023 09:13 29m 3s
Make warn_accs record to a module locked #8073: Commit b06b3e3 pushed by karoliineh
August 15, 2023 08:49 24m 52s access-distr-outer
access-distr-outer
August 15, 2023 08:49 24m 52s
Merge pull request #1082 from goblint/thread-unsafe-funs locked #8072: Commit b52da13 pushed by sim642
August 15, 2023 07:45 39m 41s master
master
August 15, 2023 07:45 39m 41s
locked locked #8071: Scheduled
August 15, 2023 01:57 2h 3m 42s master
master
August 15, 2023 01:57 2h 3m 42s
Create warn_accs record and refactor locked #8070: Commit 59feaf8 pushed by karoliineh
August 14, 2023 15:05 45m 52s access-distr-outer
access-distr-outer
August 14, 2023 15:05 45m 52s
Detect calls of thread-unsafe functions as races locked #8069: Pull request #1082 synchronize by karoliineh
August 14, 2023 11:38 35m 58s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 35m 58s