Skip to content

Actions: Snaipe/Criterion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
440 workflow runs
440 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI CI #427: Scheduled
6m 19s bleeding
bleeding
6m 19s
core: fix parameterized cleanup running while workers are still alive CI #426: Pull request #604 synchronize by MrAnno
7m 51s MrAnno:fix-parameterized-cleanup
MrAnno:fix-parameterized-cleanup
7m 51s
core: fix parameterized cleanup running while workers are still alive CI #425: Pull request #604 opened by MrAnno
7m 16s MrAnno:fix-parameterized-cleanup
MrAnno:fix-parameterized-cleanup
7m 16s
Merge pull request #602 from MrAnno/fix-arraylength-ub CI #424: Commit 50cad40 pushed by MrAnno
6m 22s bleeding
bleeding
6m 22s
tag: fix undefined behavior by calculating array length differently CI #423: Pull request #602 synchronize by MrAnno
7m 32s MrAnno:fix-arraylength-ub
MrAnno:fix-arraylength-ub
7m 32s
tag: fix undefined behavior by calculating array length differently CI #422: Pull request #602 synchronize by MrAnno
7m 23s MrAnno:fix-arraylength-ub
MrAnno:fix-arraylength-ub
7m 23s
Merge pull request #603 from MrAnno/ci-more-platforms CI #421: Commit 4afb6d0 pushed by MrAnno
7m 52s bleeding
bleeding
7m 52s
Replace discontinued Cirrus CI CI #420: Pull request #603 synchronize by MrAnno
7m 15s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
7m 15s
Replace discontinued Cirrus CI CI #419: Pull request #603 synchronize by MrAnno
7m 55s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
7m 55s
Replace discontinued Cirrus CI CI #418: Pull request #603 synchronize by MrAnno
1m 14s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
1m 14s
Replace discontinued Cirrus CI CI #417: Pull request #603 synchronize by MrAnno
7m 9s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
7m 9s
Replace discontinued Cirrus CI CI #416: Pull request #603 synchronize by MrAnno
7m 16s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
7m 16s
Replace discontinued Cirrus CI CI #415: Pull request #603 synchronize by MrAnno
9m 27s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
9m 27s
Replace discontinued Cirrus CI CI #414: Pull request #603 synchronize by MrAnno
1m 52s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
1m 52s
Replace discontinued Cirrus CI CI #413: Pull request #603 synchronize by MrAnno
24m 37s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
24m 37s
Replace discontinued Cirrus CI CI #412: Pull request #603 synchronize by MrAnno
31m 54s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
31m 54s
Replace discontinued Cirrus CI CI #411: Pull request #603 synchronize by MrAnno
6m 14s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
6m 14s
Replace discontinued Cirrus CI CI #410: Pull request #603 opened by MrAnno
11m 8s MrAnno:ci-more-platforms
MrAnno:ci-more-platforms
11m 8s
tag: fix undefined behavior by calculating array length differently CI #409: Pull request #602 opened by MrAnno
1m 45s MrAnno:fix-arraylength-ub
MrAnno:fix-arraylength-ub
1m 45s
Merge pull request #600 from MrAnno/fix/594-negation-reporting CI #408: Commit 76274a0 pushed by MrAnno
1m 52s bleeding
bleeding
1m 52s
Fix reporting negated operands CI #407: Pull request #600 synchronize by MrAnno
2m 15s MrAnno:fix/594-negation-reporting
MrAnno:fix/594-negation-reporting
2m 15s
CI CI #406: Scheduled
2m 21s bleeding
bleeding
2m 21s
CI CI #405: Scheduled
1m 40s bleeding
bleeding
1m 40s
CI CI #404: Scheduled
1m 57s bleeding
bleeding
1m 57s
CI CI #403: Scheduled
2m 8s bleeding
bleeding
2m 8s