Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Null Byte Array Domain coverage #453: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 18m 11s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 18m 11s
Null Byte Array Domain locked #8309: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 32m 9s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 32m 9s
coverage coverage #452: Scheduled
September 16, 2023 02:01 35m 3s master
master
September 16, 2023 02:01 35m 3s
docker docker #734: Scheduled
September 16, 2023 01:59 17m 52s master
master
September 16, 2023 01:59 17m 52s
locked locked #8308: Scheduled
September 16, 2023 01:57 2h 21m 12s master
master
September 16, 2023 01:57 2h 21m 12s
unlocked unlocked #1532: Scheduled
September 16, 2023 01:56 2h 24m 40s master
master
September 16, 2023 01:56 2h 24m 40s
Simplify add_set in regionDomain semgrep #7718: Commit 3bf5268 pushed by karoliineh
September 15, 2023 15:12 53s region-mallocfresh
region-mallocfresh
September 15, 2023 15:12 53s
Simplify add_set in regionDomain locked #8307: Commit 3bf5268 pushed by karoliineh
September 15, 2023 15:12 35m 31s region-mallocfresh
region-mallocfresh
September 15, 2023 15:12 35m 31s
Simplify add_set in regionDomain options #6047: Commit 3bf5268 pushed by karoliineh
September 15, 2023 15:12 37s region-mallocfresh
region-mallocfresh
September 15, 2023 15:12 37s
Simplify add_set in regionDomain indentation #8028: Commit 3bf5268 pushed by karoliineh
September 15, 2023 15:12 7m 0s region-mallocfresh
region-mallocfresh
September 15, 2023 15:12 7m 0s
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