Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,791 workflow run results
6,791 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear Two-Variable Equalities Analysis coverage #1442: Pull request #1297 synchronize by DrMichaelPetter
February 22, 2024 21:53 9m 9s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 22, 2024 21:53 9m 9s
Linear Two-Variable Equalities Analysis semgrep #9342: Pull request #1297 synchronize by DrMichaelPetter
February 22, 2024 21:53 6m 5s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 22, 2024 21:53 6m 5s
Linear Two-Variable Equalities Analysis docs #293: Pull request #1297 synchronize by DrMichaelPetter
February 22, 2024 21:53 4m 26s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 22, 2024 21:53 4m 26s
Linear Two-Variable Equalities Analysis options #7687: Pull request #1297 synchronize by DrMichaelPetter
February 22, 2024 21:53 4m 30s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 22, 2024 21:53 4m 30s
Linear Two-Variable Equalities Analysis indentation #9668: Pull request #1297 synchronize by DrMichaelPetter
February 22, 2024 21:53 5m 6s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 22, 2024 21:53 5m 6s
Linear Two-Variable Equalities Analysis locked #10107: Pull request #1297 synchronize by DrMichaelPetter
February 22, 2024 21:53 25m 57s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 22, 2024 21:53 25m 57s
Update coverage documentation options #7685: Commit abcbe8d pushed by sim642
February 22, 2024 09:48 19s dune-runtest
dune-runtest
February 22, 2024 09:48 19s
Move all tests to dune runtest options #7686: Pull request #1367 synchronize by sim642
February 22, 2024 09:48 24s dune-runtest
dune-runtest
February 22, 2024 09:48 24s
Update coverage documentation docs #291: Commit abcbe8d pushed by sim642
February 22, 2024 09:48 3s dune-runtest
dune-runtest
February 22, 2024 09:48 3s
Move all tests to dune runtest semgrep #9341: Pull request #1367 synchronize by sim642
February 22, 2024 09:48 39s dune-runtest
dune-runtest
February 22, 2024 09:48 39s
Update coverage documentation semgrep #9340: Commit abcbe8d pushed by sim642
February 22, 2024 09:48 43s dune-runtest
dune-runtest
February 22, 2024 09:48 43s
Update coverage documentation indentation #9666: Commit abcbe8d pushed by sim642
February 22, 2024 09:48 3m 35s dune-runtest
dune-runtest
February 22, 2024 09:48 3m 35s
Move all tests to dune runtest coverage #1441: Pull request #1367 synchronize by sim642
February 22, 2024 09:48 10m 18s dune-runtest
dune-runtest
February 22, 2024 09:48 10m 18s
Move all tests to dune runtest locked #10106: Pull request #1367 synchronize by sim642
February 22, 2024 09:48 18m 26s dune-runtest
dune-runtest
February 22, 2024 09:48 18m 26s
Update coverage documentation locked #10105: Commit abcbe8d pushed by sim642
February 22, 2024 09:48 18m 45s dune-runtest
dune-runtest
February 22, 2024 09:48 18m 45s
Move all tests to dune runtest docs #292: Pull request #1367 synchronize by sim642
February 22, 2024 09:48 5m 18s dune-runtest
dune-runtest
February 22, 2024 09:48 5m 18s
Move all tests to dune runtest indentation #9667: Pull request #1367 synchronize by sim642
February 22, 2024 09:48 2m 59s dune-runtest
dune-runtest
February 22, 2024 09:48 2m 59s
Add semantic loop unrolling analysis locked #10104: Pull request #1370 opened by sim642
February 22, 2024 08:36 23m 28s semantic-loop-unrolling
semantic-loop-unrolling
February 22, 2024 08:36 23m 28s
Add semantic loop unrolling analysis coverage #1440: Pull request #1370 opened by sim642
February 22, 2024 08:36 11m 23s semantic-loop-unrolling
semantic-loop-unrolling
February 22, 2024 08:36 11m 23s
Add semantic loop unrolling analysis indentation #9665: Pull request #1370 opened by sim642
February 22, 2024 08:36 2s semantic-loop-unrolling
semantic-loop-unrolling
February 22, 2024 08:36 2s
Add semantic loop unrolling analysis docs #290: Pull request #1370 opened by sim642
February 22, 2024 08:36 16s semantic-loop-unrolling
semantic-loop-unrolling
February 22, 2024 08:36 16s
Add semantic loop unrolling analysis options #7684: Pull request #1370 opened by sim642
February 22, 2024 08:36 17s semantic-loop-unrolling
semantic-loop-unrolling
February 22, 2024 08:36 17s
Add semantic loop unrolling analysis semgrep #9339: Pull request #1370 opened by sim642
February 22, 2024 08:36 44s semantic-loop-unrolling
semantic-loop-unrolling
February 22, 2024 08:36 44s
Run docs CI workflow more often, but only deploy on master locked #10103: Commit f2f5cc1 pushed by sim642
February 22, 2024 08:24 30m 51s master
master
February 22, 2024 08:24 30m 51s
Run docs CI workflow more often, but only deploy on master indentation #9664: Commit f2f5cc1 pushed by sim642
February 22, 2024 08:24 3m 15s master
master
February 22, 2024 08:24 3m 15s