Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #456: Scheduled
September 17, 2023 02:05 32m 2s master
master
September 17, 2023 02:05 32m 2s
docker docker #735: Scheduled
September 17, 2023 02:03 17m 2s master
master
September 17, 2023 02:03 17m 2s
locked locked #8314: Scheduled
September 17, 2023 02:01 2h 13m 25s master
master
September 17, 2023 02:01 2h 13m 25s
unlocked unlocked #1533: Scheduled
September 17, 2023 02:01 2h 17m 40s master
master
September 17, 2023 02:01 2h 17m 40s
Add some setjump/longjump tests for race detection indentation #8033: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 6m 41s races_sjlj
races_sjlj
September 16, 2023 14:48 6m 41s
Add some setjump/longjump tests for race detection locked #8313: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 29m 6s races_sjlj
races_sjlj
September 16, 2023 14:48 29m 6s
Add some setjump/longjump tests for race detection coverage #455: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 18m 7s races_sjlj
races_sjlj
September 16, 2023 14:48 18m 7s
Add some setjump/longjump tests for race detection options #6052: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 21s races_sjlj
races_sjlj
September 16, 2023 14:48 21s
Add some setjump/longjump tests for race detection semgrep #7723: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 54s races_sjlj
races_sjlj
September 16, 2023 14:48 54s
68/[52-55] Don't include goblint.h, it is unused options #6051: Commit 18fe6d1 pushed by michael-schwarz
September 16, 2023 14:47 17s races_sjlj
races_sjlj
September 16, 2023 14:47 17s
68/[52-55] Don't include goblint.h, it is unused semgrep #7722: Commit 18fe6d1 pushed by michael-schwarz
September 16, 2023 14:47 55s races_sjlj
races_sjlj
September 16, 2023 14:47 55s
68/[52-55] Don't include goblint.h, it is unused locked #8312: Commit 18fe6d1 pushed by michael-schwarz
September 16, 2023 14:47 30m 41s races_sjlj
races_sjlj
September 16, 2023 14:47 30m 41s
68/[52-55] Don't include goblint.h, it is unused indentation #8032: Commit 18fe6d1 pushed by michael-schwarz
September 16, 2023 14:47 6m 6s races_sjlj
races_sjlj
September 16, 2023 14:47 6m 6s
Add some setjump/longjump tests for race detection indentation #8031: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 3s races_sjlj
races_sjlj
September 16, 2023 14:39 3s
Add some setjump/longjump tests for race detection semgrep #7721: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 54s races_sjlj
races_sjlj
September 16, 2023 14:39 54s
Add some setjump/longjump tests for race detection options #6050: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 21s races_sjlj
races_sjlj
September 16, 2023 14:39 21s
Add some setjump/longjump tests for race detection locked #8311: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 31m 30s races_sjlj
races_sjlj
September 16, 2023 14:39 31m 30s
Add some setjump/longjump tests for race detection coverage #454: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 24m 18s races_sjlj
races_sjlj
September 16, 2023 14:39 24m 18s
Add some setjump/longjump test for race detection semgrep #7720: Commit fb7159c pushed by michael-schwarz
September 16, 2023 14:33 52s races_sjlj
races_sjlj
September 16, 2023 14:33 52s
Add some setjump/longjump test for race detection locked #8310: Commit fb7159c pushed by michael-schwarz
September 16, 2023 14:33 29m 27s races_sjlj
races_sjlj
September 16, 2023 14:33 29m 27s
Add some setjump/longjump test for race detection options #6049: Commit fb7159c pushed by michael-schwarz
September 16, 2023 14:33 21s races_sjlj
races_sjlj
September 16, 2023 14:33 21s
Add some setjump/longjump test for race detection indentation #8030: Commit fb7159c pushed by michael-schwarz
September 16, 2023 14:33 2s races_sjlj
races_sjlj
September 16, 2023 14:33 2s
Null Byte Array Domain semgrep #7719: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 44s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 44s
Null Byte Array Domain indentation #8029: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 5m 58s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 5m 58s
Null Byte Array Domain options #6048: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 24s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 24s