Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unlocked unlocked #1568: Scheduled
October 22, 2023 02:04 2h 22m 2s master
master
October 22, 2023 02:04 2h 22m 2s
coverage coverage #656: Scheduled
October 21, 2023 02:02 46m 14s master
master
October 21, 2023 02:02 46m 14s
docker docker #769: Scheduled
October 21, 2023 02:00 19m 27s master
master
October 21, 2023 02:00 19m 27s
locked locked #8705: Scheduled
October 21, 2023 01:58 2h 19m 7s master
master
October 21, 2023 01:58 2h 19m 7s
unlocked unlocked #1567: Scheduled
October 21, 2023 01:57 2h 11m 35s master
master
October 21, 2023 01:57 2h 11m 35s
Add some hacky atomic privatizations indentation #8390: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 3m 35s priv-atomic
priv-atomic
October 20, 2023 15:18 3m 35s
Add some hacky atomic privatizations options #6409: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 22s priv-atomic
priv-atomic
October 20, 2023 15:18 22s
Add some hacky atomic privatizations semgrep #8080: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 48s priv-atomic
priv-atomic
October 20, 2023 15:18 48s
Add some hacky atomic privatizations locked #8704: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 27m 50s priv-atomic
priv-atomic
October 20, 2023 15:18 27m 50s
Add some hacky atomic privatizations coverage #655: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 22m 37s priv-atomic
priv-atomic
October 20, 2023 15:18 22m 37s
Use relational unprotected invariant for mutex-meet-tid indentation #8389: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 3m 43s priv-atomic
priv-atomic
October 20, 2023 15:18 3m 43s
Use relational unprotected invariant for mutex-meet-tid semgrep #8079: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 42s priv-atomic
priv-atomic
October 20, 2023 15:18 42s
Use relational unprotected invariant for mutex-meet-tid locked #8703: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 24m 49s priv-atomic
priv-atomic
October 20, 2023 15:18 24m 49s
Use relational unprotected invariant for mutex-meet-tid options #6408: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 20s priv-atomic
priv-atomic
October 20, 2023 15:18 20s
Improve names of some global constraint variables locked #8702: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 29m 20s master
master
October 20, 2023 10:39 29m 20s
Improve names of some global constraint variables options #6407: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 25s master
master
October 20, 2023 10:39 25s
Improve names of some global constraint variables semgrep #8078: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 45s master
master
October 20, 2023 10:39 45s
Improve names of some global constraint variables docs #154: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 11m 56s master
master
October 20, 2023 10:39 11m 56s
Improve names of some global constraint variables indentation #8388: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 6m 47s master
master
October 20, 2023 10:39 6m 47s
Add some hacky atomic privatizations semgrep #8077: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 54s priv-atomic
priv-atomic
October 20, 2023 09:07 54s
Add some hacky atomic privatizations options #6406: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 27s priv-atomic
priv-atomic
October 20, 2023 09:07 27s
Add some hacky atomic privatizations indentation #8387: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 6m 39s priv-atomic
priv-atomic
October 20, 2023 09:07 6m 39s
Add some hacky atomic privatizations locked #8701: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 46m 52s priv-atomic
priv-atomic
October 20, 2023 09:07 46m 52s
Add some hacky atomic privatizations coverage #654: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 27m 29s priv-atomic
priv-atomic
October 20, 2023 09:07 27m 29s
Use threshold widening in Freiburg nondet_inc_with_ghosts options #6405: Commit e1e0813 pushed by sim642
October 20, 2023 09:07 22s priv-atomic
priv-atomic
October 20, 2023 09:07 22s