Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use SetDomain instead of PartitionDomain.Set in RS options #6046: Commit cc781cc pushed by karoliineh
September 15, 2023 14:25 1m 21s region-mallocfresh
region-mallocfresh
September 15, 2023 14:25 1m 21s
Use SetDomain instead of PartitionDomain.Set in RS semgrep #7717: Commit cc781cc pushed by karoliineh
September 15, 2023 14:25 2m 10s region-mallocfresh
region-mallocfresh
September 15, 2023 14:25 2m 10s
Use SetDomain instead of PartitionDomain.Set in RS locked #8306: Commit cc781cc pushed by karoliineh
September 15, 2023 14:25 46m 10s region-mallocfresh
region-mallocfresh
September 15, 2023 14:25 46m 10s
Use SetDomain instead of PartitionDomain.Set in RS indentation #8027: Commit cc781cc pushed by karoliineh
September 15, 2023 14:25 3s region-mallocfresh
region-mallocfresh
September 15, 2023 14:25 3s
Merge pull request #1170 from goblint/acc-record options #6045: Commit eb48502 pushed by sim642
September 15, 2023 08:04 21s master
master
September 15, 2023 08:04 21s
Merge pull request #1170 from goblint/acc-record locked #8305: Commit eb48502 pushed by sim642
September 15, 2023 08:04 47m 47s master
master
September 15, 2023 08:04 47m 47s
Merge pull request #1170 from goblint/acc-record docs #105: Commit eb48502 pushed by sim642
September 15, 2023 08:04 10m 24s master
master
September 15, 2023 08:04 10m 24s
Merge pull request #1170 from goblint/acc-record indentation #8026: Commit eb48502 pushed by sim642
September 15, 2023 08:04 6m 9s master
master
September 15, 2023 08:04 6m 9s
Merge pull request #1170 from goblint/acc-record semgrep #7716: Commit eb48502 pushed by sim642
September 15, 2023 08:04 51s master
master
September 15, 2023 08:04 51s
Use AddressDomain for queries coverage #451: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 21m 35s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 21m 35s
Use AddressDomain for queries semgrep #7715: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 54s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 54s
Use AddressDomain for queries indentation #8025: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 6m 30s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 6m 30s
Use AddressDomain for queries options #6044: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 22s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 22s
Use AddressDomain for queries locked #8304: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 49m 26s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 49m 26s
Simplify some AD conversions, add TODOs indentation #8024: Commit cb08d33 pushed by sim642
September 15, 2023 08:03 7m 23s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 7m 23s
Simplify some AD conversions, add TODOs locked #8303: Commit cb08d33 pushed by sim642
September 15, 2023 08:03 36m 6s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 36m 6s
Simplify some AD conversions, add TODOs options #6043: Commit cb08d33 pushed by sim642
September 15, 2023 08:03 20s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 20s
Simplify some AD conversions, add TODOs semgrep #7714: Commit cb08d33 pushed by sim642
September 15, 2023 08:03 54s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 54s
Use AddressDomain for queries indentation #8023: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 6m 21s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 6m 21s
Use AddressDomain for queries semgrep #7713: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 50s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 50s
Use AddressDomain for queries locked #8302: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 30m 53s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 30m 53s
Use AddressDomain for queries coverage #450: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 18m 35s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 18m 35s
Use AddressDomain for queries options #6042: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 24s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 24s
Merge branch 'queries-ad' into queries-ad-cont locked #8301: Commit fb1be83 pushed by sim642
September 15, 2023 07:45 37m 59s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 37m 59s
Merge branch 'queries-ad' into queries-ad-cont indentation #8022: Commit fb1be83 pushed by sim642
September 15, 2023 07:45 6m 41s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 6m 41s