Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
728 workflow run results
728 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Spawn non-unique threads locked #8404: Commit a325139 pushed by michael-schwarz
September 24, 2023 15:28 39m 36s issue_843
issue_843
September 24, 2023 15:28 39m 36s
No shortcut for narrow and meet in HConsed when int refinement is active locked #8403: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 35m 26s issue_1005
issue_1005
September 24, 2023 12:31 35m 26s
Make comment a bit longer locked #8402: Commit 2f691be pushed by michael-schwarz
September 24, 2023 12:23 29m 47s issue_1005
issue_1005
September 24, 2023 12:23 29m 47s
No shortcut meet and narrow w/ int refinement locked #8401: Commit 1116ef6 pushed by michael-schwarz
September 24, 2023 12:22 31m 55s issue_1005
issue_1005
September 24, 2023 12:22 31m 55s
Null Byte Array Domain locked #8400: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:05 24m 57s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:05 24m 57s
Null Byte Array Domain locked #8399: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:00 30m 27s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:00 30m 27s
Null Byte Array Domain locked #8398: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 09:49 30m 23s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 09:49 30m 23s
Null Byte Array Domain locked #8397: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 09:14 38m 2s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 09:14 38m 2s
locked locked #8396: Scheduled
September 24, 2023 02:02 2h 12m 5s master
master
September 24, 2023 02:02 2h 12m 5s
Null Byte Array Domain locked #8395: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 20:43 29m 7s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 20:43 29m 7s
Null Byte Array Domain locked #8394: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 18:59 26m 44s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 18:59 26m 44s
Null Byte Array Domain locked #8393: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:45 36m 44s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:45 36m 44s
Null Byte Array Domain locked #8392: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:33 36m 47s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:33 36m 47s
fix: copying of files to GobView in projects with subdirectories (#1143) locked #8391: Commit 8336d28 pushed by michael-schwarz
September 23, 2023 14:38 31m 9s master
master
September 23, 2023 14:38 31m 9s
fix: copying of files to GobView in projects with subdirectories locked #8390: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:27 28m 34s sallto:master
sallto:master
September 23, 2023 14:27 28m 34s
fix: copying of files to GobView in projects with subdirectories locked #8389: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:14 31m 28s sallto:master
sallto:master
September 23, 2023 14:14 31m 28s
Merge branch 'master' into cfg-optimize locked #8388: Commit b962288 pushed by michael-schwarz
September 23, 2023 14:03 24m 39s cfg-optimize
cfg-optimize
September 23, 2023 14:03 24m 39s
Optimize CFG representation locked #8387: Pull request #609 synchronize by michael-schwarz
September 23, 2023 14:02 24m 15s cfg-optimize
cfg-optimize
September 23, 2023 14:02 24m 15s
locked locked #8386: Scheduled
September 23, 2023 01:57 2h 17m 24s master
master
September 23, 2023 01:57 2h 17m 24s
Remove unused offsets from RegMap domain and eval_exp locked #8385: Commit ca994c8 pushed by karoliineh
September 22, 2023 11:37 31m 19s region-mallocfresh-try2
region-mallocfresh-try2
September 22, 2023 11:37 31m 19s
locked locked #8384: Scheduled
September 22, 2023 02:00 2h 17m 58s master
master
September 22, 2023 02:00 2h 17m 58s
Simplify related_globals locked #8383: Commit 1435944 pushed by karoliineh
September 21, 2023 13:00 33m 47s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 13:00 33m 47s
Restore access Mamory case in regionNonEscape locked #8382: Commit dc13b86 pushed by karoliineh
September 21, 2023 12:43 29m 12s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 12:43 29m 12s
Data-race challenges extracted from benchmarks locked #8381: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 21m 43s race-challenges
race-challenges
September 21, 2023 10:43 21m 43s
Extract symbolic-thread-struct-tid from chrony locked #8380: Commit f1b7070 pushed by sim642
September 21, 2023 10:43 25m 16s race-challenges
race-challenges
September 21, 2023 10:43 25m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-09-21 or the other filters available.