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 options #6033: Pull request #1076 synchronize by michael-schwarz
September 14, 2023 12:49 25s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 14, 2023 12:49 25s
Null Byte Array Domain coverage #444: Pull request #1076 synchronize by michael-schwarz
September 14, 2023 12:49 24m 50s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 14, 2023 12:49 24m 50s
Null Byte Array Domain semgrep #7704: Pull request #1076 synchronize by michael-schwarz
September 14, 2023 12:49 53s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 14, 2023 12:49 53s
Null Byte Array Domain locked #8292: Pull request #1076 synchronize by michael-schwarz
September 14, 2023 12:49 31m 4s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 14, 2023 12:49 31m 4s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions options #6032: Pull request #1167 opened by karoliineh
September 14, 2023 09:30 16s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:30 16s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions locked #8291: Pull request #1167 opened by karoliineh
September 14, 2023 09:30 31m 24s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:30 31m 24s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions coverage #443: Pull request #1167 opened by karoliineh
September 14, 2023 09:30 19m 11s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:30 19m 11s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions indentation #8013: Pull request #1167 opened by karoliineh
September 14, 2023 09:30 3s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:30 3s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions semgrep #7703: Pull request #1167 opened by karoliineh
September 14, 2023 09:30 50s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:30 50s
Add zlib and liblzma functions used in the silver searcher semgrep #7702: Commit a365729 pushed by karoliineh
September 14, 2023 09:26 45s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:26 45s
Add zlib and liblzma functions used in the silver searcher options #6031: Commit a365729 pushed by karoliineh
September 14, 2023 09:26 22s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:26 22s
Add zlib and liblzma functions used in the silver searcher indentation #8012: Commit a365729 pushed by karoliineh
September 14, 2023 09:26 4s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:26 4s
Add zlib and liblzma functions used in the silver searcher locked #8290: Commit a365729 pushed by karoliineh
September 14, 2023 09:26 40m 6s libfuns-zlib-lzma
libfuns-zlib-lzma
September 14, 2023 09:26 40m 6s
coverage coverage #442: Scheduled
September 14, 2023 02:03 36m 6s master
master
September 14, 2023 02:03 36m 6s
docker docker #732: Scheduled
September 14, 2023 02:01 31m 41s master
master
September 14, 2023 02:01 31m 41s
locked locked #8289: Scheduled
September 14, 2023 01:59 2h 21m 6s master
master
September 14, 2023 01:59 2h 21m 6s
unlocked unlocked #1530: Scheduled
September 14, 2023 01:58 2h 29m 29s master
master
September 14, 2023 01:58 2h 29m 29s
Complete TODOs in nullpointer.dereference.refine test locked #8288: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 33m 33s warn-once
warn-once
September 13, 2023 18:41 33m 33s
Complete TODOs in nullpointer.dereference.refine test semgrep #7701: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 58s warn-once
warn-once
September 13, 2023 18:41 58s
Complete TODOs in nullpointer.dereference.refine test indentation #8011: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 7m 10s warn-once
warn-once
September 13, 2023 18:41 7m 10s
Complete TODOs in nullpointer.dereference.refine test options #6030: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 26s warn-once
warn-once
September 13, 2023 18:41 26s
Ignore info messages for test case 77/05 due to MacOS CI locked #8287: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 30m 18s staging_memsafety
staging_memsafety
September 13, 2023 15:16 30m 18s
Ignore info messages for test case 77/05 due to MacOS CI semgrep #7700: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 57s staging_memsafety
staging_memsafety
September 13, 2023 15:16 57s
Ignore info messages for test case 77/05 due to MacOS CI indentation #8010: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 6m 43s staging_memsafety
staging_memsafety
September 13, 2023 15:16 6m 43s
Ignore info messages for test case 77/05 due to MacOS CI options #6029: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 24s staging_memsafety
staging_memsafety
September 13, 2023 15:16 24s