Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Freiburg case_distinction_with_ghosts example indentation #8370: Commit b49bd3e pushed by sim642
October 13, 2023 14:29 3s priv-atomic-disjunctive
priv-atomic-disjunctive
October 13, 2023 14:29 3s
Add Freiburg case_distinction_with_ghosts example semgrep #8060: Commit b49bd3e pushed by sim642
October 13, 2023 14:29 1m 2s priv-atomic-disjunctive
priv-atomic-disjunctive
October 13, 2023 14:29 1m 2s
Add Freiburg case_distinction_with_ghosts example options #6389: Commit b49bd3e pushed by sim642
October 13, 2023 14:29 28s priv-atomic-disjunctive
priv-atomic-disjunctive
October 13, 2023 14:29 28s
Add Freiburg case_distinction_with_ghosts example locked #8677: Commit b49bd3e pushed by sim642
October 13, 2023 14:29 22m 32s priv-atomic-disjunctive
priv-atomic-disjunctive
October 13, 2023 14:29 22m 32s
coverage coverage #641: Scheduled
October 13, 2023 02:07 40m 24s master
master
October 13, 2023 02:07 40m 24s
docker docker #761: Scheduled
October 13, 2023 02:06 34m 51s master
master
October 13, 2023 02:06 34m 51s
locked locked #8676: Scheduled
October 13, 2023 02:04 2h 24m 8s master
master
October 13, 2023 02:04 2h 24m 8s
unlocked unlocked #1559: Scheduled
October 13, 2023 02:03 2h 32m 11s master
master
October 13, 2023 02:03 2h 32m 11s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8059: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 55s serenita:master
serenita:master
October 12, 2023 15:05 55s
TUM Practical Course Summer 2023: Termination Analyses options #6388: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 23s serenita:master
serenita:master
October 12, 2023 15:05 23s
TUM Practical Course Summer 2023: Termination Analyses indentation #8369: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 7m 7s serenita:master
serenita:master
October 12, 2023 15:05 7m 7s
TUM Practical Course Summer 2023: Termination Analyses locked #8675: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 40m 7s serenita:master
serenita:master
October 12, 2023 15:05 40m 7s
TUM Practical Course Summer 2023: Termination Analyses coverage #640: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 19m 58s serenita:master
serenita:master
October 12, 2023 15:05 19m 58s
TUM Practical Course Summer 2023: Termination Analyses locked #8674: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 45m 54s serenita:master
serenita:master
October 12, 2023 14:55 45m 54s
TUM Practical Course Summer 2023: Termination Analyses indentation #8368: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 6m 29s serenita:master
serenita:master
October 12, 2023 14:55 6m 29s
TUM Practical Course Summer 2023: Termination Analyses options #6387: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 24s serenita:master
serenita:master
October 12, 2023 14:55 24s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8058: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 59s serenita:master
serenita:master
October 12, 2023 14:55 59s
TUM Practical Course Summer 2023: Termination Analyses coverage #639: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 19m 21s serenita:master
serenita:master
October 12, 2023 14:55 19m 21s
TUM Practical Course Summer 2023: Termination Analyses options #6386: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 30s serenita:master
serenita:master
October 12, 2023 14:42 30s
TUM Practical Course Summer 2023: Termination Analyses coverage #638: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 24m 4s serenita:master
serenita:master
October 12, 2023 14:42 24m 4s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8057: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 1m 5s serenita:master
serenita:master
October 12, 2023 14:42 1m 5s
TUM Practical Course Summer 2023: Termination Analyses indentation #8367: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 5m 56s serenita:master
serenita:master
October 12, 2023 14:42 5m 56s
TUM Practical Course Summer 2023: Termination Analyses locked #8673: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 34m 26s serenita:master
serenita:master
October 12, 2023 14:42 34m 26s
TUM Practical Course Summer 2023: Termination Analyses indentation #8366: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:39 6m 12s serenita:master
serenita:master
October 12, 2023 14:39 6m 12s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8056: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:39 48s serenita:master
serenita:master
October 12, 2023 14:39 48s