Skip to content

Actions: mrstanb/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #285: Scheduled
November 18, 2023 02:05 33m 5s master
master
November 18, 2023 02:05 33m 5s
locked locked #284: Scheduled
November 17, 2023 02:07 26m 16s master
master
November 17, 2023 02:07 26m 16s
Add regr. test cases for multi-threaded valid-memcleanup locked #283: Commit c0fe89e pushed by mrstanb
November 16, 2023 06:54 18m 19s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 16, 2023 06:54 18m 19s
locked locked #282: Scheduled
November 16, 2023 02:07 29m 20s master
master
November 16, 2023 02:07 29m 20s
Fix semgrep warning for using List.length for an emptiness check locked #281: Commit 8459104 pushed by mrstanb
November 15, 2023 22:34 33m 4s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:34 33m 4s
Merge branch 'improve-valid-memtrack-for-single-threaded-programs' of… locked #280: Commit 0bec1ac pushed by mrstanb
November 15, 2023 22:27 41m 30s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 22:27 41m 30s
Merge branch 'master' into improve-valid-memtrack-for-single-threaded… locked #279: Commit 24fd4e8 pushed by michael-schwarz
November 15, 2023 14:49 23m 44s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 15, 2023 14:49 23m 44s
locked locked #278: Scheduled
November 15, 2023 02:06 28m 34s master
master
November 15, 2023 02:06 28m 34s
locked locked #277: Scheduled
November 14, 2023 02:03 30m 30s master
master
November 14, 2023 02:03 30m 30s
locked locked #276: Scheduled
November 13, 2023 02:05 35m 38s master
master
November 13, 2023 02:05 35m 38s
locked locked #275: Scheduled
November 12, 2023 02:06 36m 43s master
master
November 12, 2023 02:06 36m 43s
locked locked #274: Scheduled
November 11, 2023 02:36 34m 25s master
master
November 11, 2023 02:36 34m 25s
locked locked #273: Scheduled
November 10, 2023 02:03 33m 1s master
master
November 10, 2023 02:03 33m 1s
locked locked #272: Scheduled
November 9, 2023 02:03 42m 18s master
master
November 9, 2023 02:03 42m 18s
Add 3 regr. tests for trying out global struct variables locked #271: Commit f343d74 pushed by mrstanb
November 8, 2023 21:52 34m 4s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 21:52 34m 4s
Don't set InvalidMemTrack flag a second time locked #270: Commit 05e4892 pushed by mrstanb
November 8, 2023 19:53 40m 11s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 40m 11s
Don't set InvalidMemTrack flag a second time locked #269: Commit 175b003 pushed by mrstanb
November 8, 2023 19:52 28m 34s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 28m 34s
Remove //TODO comment from 76/09 locked #268: Commit c056b32 pushed by mrstanb
November 8, 2023 19:51 39m 41s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 39m 41s
locked locked #267: Scheduled
November 8, 2023 02:03 28m 50s master
master
November 8, 2023 02:03 28m 50s
Merge pull request #1236 from goblint/issue-1235 locked #266: Commit 3fd60ec pushed by mrstanb
November 7, 2023 21:00 35m 17s master
master
November 7, 2023 21:00 35m 17s
Add test cases for unreachable heap memory from globals locked #265: Commit 9f7224e pushed by mrstanb
November 7, 2023 20:47 31m 59s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 7, 2023 20:47 31m 59s
locked locked #264: Scheduled
November 7, 2023 02:04 33m 54s master
master
November 7, 2023 02:04 33m 54s
locked locked #263: Scheduled
November 6, 2023 02:05 34m 22s master
master
November 6, 2023 02:05 34m 22s
Merge pull request #1187 from goblint/issue_843 locked #262: Commit 5f4f94b pushed by mrstanb
November 5, 2023 17:27 39m 13s master
master
November 5, 2023 17:27 39m 13s
locked locked #261: Scheduled
November 5, 2023 02:05 31m 18s master
master
November 5, 2023 02:05 31m 18s