Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unlocked unlocked #1563: Scheduled
October 17, 2023 02:01 2h 27m 19s master
master
October 17, 2023 02:01 2h 27m 19s
Merge pull request #1210 from goblint/longjmp-top options #6394: Commit 2125370 pushed by sim642
October 16, 2023 14:44 21s master
master
October 16, 2023 14:44 21s
Merge pull request #1210 from goblint/longjmp-top locked #8685: Commit 2125370 pushed by sim642
October 16, 2023 14:44 33m 18s master
master
October 16, 2023 14:44 33m 18s
Merge pull request #1210 from goblint/longjmp-top semgrep #8065: Commit 2125370 pushed by sim642
October 16, 2023 14:44 1m 21s master
master
October 16, 2023 14:44 1m 21s
Merge pull request #1210 from goblint/longjmp-top indentation #8375: Commit 2125370 pushed by sim642
October 16, 2023 14:44 7m 13s master
master
October 16, 2023 14:44 7m 13s
Merge pull request #1210 from goblint/longjmp-top docs #152: Commit 2125370 pushed by sim642
October 16, 2023 14:44 11m 30s master
master
October 16, 2023 14:44 11m 30s
Fix longjmp crash on Uninitialized indentation #8374: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 6m 21s longjmp-top
longjmp-top
October 16, 2023 14:37 6m 21s
Fix longjmp crash on Uninitialized semgrep #8064: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 1m 6s longjmp-top
longjmp-top
October 16, 2023 14:37 1m 6s
Fix longjmp crash on Uninitialized options #6393: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 23s longjmp-top
longjmp-top
October 16, 2023 14:37 23s
Fix longjmp crash on Uninitialized coverage #645: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 19m 52s longjmp-top
longjmp-top
October 16, 2023 14:37 19m 52s
Fix longjmp crash on Uninitialized locked #8684: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 31m 42s longjmp-top
longjmp-top
October 16, 2023 14:37 31m 42s
Mark longjmp-top reachability test as TODO locked #8683: Commit 5948ca4 pushed by sim642
October 16, 2023 14:37 32m 25s longjmp-top
longjmp-top
October 16, 2023 14:37 32m 25s
Mark longjmp-top reachability test as TODO options #6392: Commit 5948ca4 pushed by sim642
October 16, 2023 14:37 24s longjmp-top
longjmp-top
October 16, 2023 14:37 24s
Mark longjmp-top reachability test as TODO semgrep #8063: Commit 5948ca4 pushed by sim642
October 16, 2023 14:37 59s longjmp-top
longjmp-top
October 16, 2023 14:37 59s
Mark longjmp-top reachability test as TODO indentation #8373: Commit 5948ca4 pushed by sim642
October 16, 2023 14:37 6m 13s longjmp-top
longjmp-top
October 16, 2023 14:37 6m 13s
coverage coverage #644: Scheduled
October 16, 2023 02:06 44m 31s master
master
October 16, 2023 02:06 44m 31s
docker docker #764: Scheduled
October 16, 2023 02:05 19m 53s master
master
October 16, 2023 02:05 19m 53s
locked locked #8682: Scheduled
October 16, 2023 02:03 2h 22m 42s master
master
October 16, 2023 02:03 2h 22m 42s
unlocked unlocked #1562: Scheduled
October 16, 2023 02:02 2h 16m 37s master
master
October 16, 2023 02:02 2h 16m 37s
coverage coverage #643: Scheduled
October 15, 2023 02:07 31m 30s master
master
October 15, 2023 02:07 31m 30s
docker docker #763: Scheduled
October 15, 2023 02:06 18m 22s master
master
October 15, 2023 02:06 18m 22s
locked locked #8681: Scheduled
October 15, 2023 02:04 2h 6m 26s master
master
October 15, 2023 02:04 2h 6m 26s
unlocked unlocked #1561: Scheduled
October 15, 2023 02:03 2h 11m 15s master
master
October 15, 2023 02:03 2h 11m 15s
Add AnalysisStateUtil to goblint_lib.ml (#1201) docs #151: Commit fe36915 pushed by michael-schwarz
October 14, 2023 09:04 10m 10s master
master
October 14, 2023 09:04 10m 10s
Add AnalysisStateUtil to goblint_lib.ml (#1201) locked #8680: Commit fe36915 pushed by michael-schwarz
October 14, 2023 09:04 26m 47s master
master
October 14, 2023 09:04 26m 47s