Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor GraphML witness options semgrep #8104: Pull request #1226 opened by sim642
October 30, 2023 15:46 46s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 46s
Refactor GraphML witness options indentation #8415: Pull request #1226 opened by sim642
October 30, 2023 15:46 3s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 3s
Refactor GraphML witness options options #6434: Pull request #1226 opened by sim642
October 30, 2023 15:46 20s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 20s
Refactor GraphML witness options locked #8739: Pull request #1226 opened by sim642
October 30, 2023 15:46 34m 30s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 34m 30s
Refactor GraphML witness options coverage #673: Pull request #1226 opened by sim642
October 30, 2023 15:46 20m 39s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 20m 39s
Update witness timings options #6433: Commit 6cd62e5 pushed by sim642
October 30, 2023 15:39 25s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:39 25s
Update witness timings indentation #8414: Commit 6cd62e5 pushed by sim642
October 30, 2023 15:39 6m 1s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:39 6m 1s
Update witness timings semgrep #8103: Commit 6cd62e5 pushed by sim642
October 30, 2023 15:39 47s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:39 47s
Update witness timings locked #8738: Commit 6cd62e5 pushed by sim642
October 30, 2023 15:39 35m 27s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:39 35m 27s
Disable witness.invariant.accessed by default semgrep #8102: Commit e01cacc pushed by sim642
October 30, 2023 15:31 52s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:31 52s
Disable witness.invariant.accessed by default options #6432: Commit e01cacc pushed by sim642
October 30, 2023 15:31 19s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:31 19s
Disable witness.invariant.accessed by default indentation #8413: Commit e01cacc pushed by sim642
October 30, 2023 15:31 6m 18s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:31 6m 18s
Disable witness.invariant.accessed by default locked #8737: Commit e01cacc pushed by sim642
October 30, 2023 15:31 24m 46s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:31 24m 46s
Don't output trivial congruence invariant (closes #1218) docs #160: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 11m 34s master
master
October 30, 2023 15:11 11m 34s
Don't output trivial congruence invariant (closes #1218) locked #8736: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 32m 39s master
master
October 30, 2023 15:11 32m 39s
Don't output trivial congruence invariant (closes #1218) semgrep #8101: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 41s master
master
October 30, 2023 15:11 41s
Don't output trivial congruence invariant (closes #1218) indentation #8412: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 6m 37s master
master
October 30, 2023 15:11 6m 37s
Don't output trivial congruence invariant (closes #1218) options #6431: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 34s master
master
October 30, 2023 15:11 34s
Move GraphML witness options into witness.graphml (issue #1217) locked #8735: Commit 7ad1224 pushed by sim642
October 30, 2023 14:52 32m 11s sv-comp-yaml
sv-comp-yaml
October 30, 2023 14:52 32m 11s
Move GraphML witness options into witness.graphml (issue #1217) semgrep #8100: Commit 7ad1224 pushed by sim642
October 30, 2023 14:52 52s sv-comp-yaml
sv-comp-yaml
October 30, 2023 14:52 52s
Move GraphML witness options into witness.graphml (issue #1217) options #6430: Commit 7ad1224 pushed by sim642
October 30, 2023 14:52 21s sv-comp-yaml
sv-comp-yaml
October 30, 2023 14:52 21s
Move GraphML witness options into witness.graphml (issue #1217) indentation #8411: Commit 7ad1224 pushed by sim642
October 30, 2023 14:52 3s sv-comp-yaml
sv-comp-yaml
October 30, 2023 14:52 3s
coverage coverage #672: Scheduled
October 30, 2023 02:05 35m 5s master
master
October 30, 2023 02:05 35m 5s
docker docker #778: Scheduled
October 30, 2023 02:04 20m 6s master
master
October 30, 2023 02:04 20m 6s
locked locked #8734: Scheduled
October 30, 2023 02:02 2h 1m 26s master
master
October 30, 2023 02:02 2h 1m 26s