Skip to content

Actions: automators-com/flowproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,010 workflow runs
2,010 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(sap-e2e): upload the run bundle flowproof already writes constitution #342: Pull request #481 opened by HappyDevs1
25s ci/sap-e2e-upload-diagnostics
ci/sap-e2e-upload-diagnostics
25s
ci(sap-e2e): upload the run bundle flowproof already writes adversary #334: Pull request #481 opened by HappyDevs1
12s ci/sap-e2e-upload-diagnostics
ci/sap-e2e-upload-diagnostics
12s
ci(sap-e2e): upload the run bundle flowproof already writes CI #967: Pull request #481 opened by HappyDevs1
4m 23s ci/sap-e2e-upload-diagnostics
ci/sap-e2e-upload-diagnostics
4m 23s
SAP E2E (real GUI) SAP E2E (real GUI) #27: Manually run by HappyDevs1
10m 20s main
main
10m 20s
npx smoke test npx smoke test #21: Scheduled
37s main
main
37s
CI CI #966: Scheduled
22m 3s main
main
22m 3s
SAP E2E (real GUI) SAP E2E (real GUI) #26: Scheduled
12m 43s main
main
12m 43s
npx smoke test npx smoke test #20: Scheduled
47s main
main
47s
test(sap): the simulator models a modal and a table control CI #965: Pull request #480 opened by HappyDevs1
4m 5s fix/478-simulator-shapes
fix/478-simulator-shapes
4m 5s
test(sap): the simulator models a modal and a table control constitution #341: Pull request #480 opened by HappyDevs1
23s fix/478-simulator-shapes
fix/478-simulator-shapes
23s
test(sap): the simulator models a modal and a table control adversary #333: Pull request #480 opened by HappyDevs1
20s fix/478-simulator-shapes
fix/478-simulator-shapes
20s
CI CI #964: Scheduled
20m 11s main
main
20m 11s
SAP E2E (real GUI) SAP E2E (real GUI) #25: Scheduled
13m 9s main
main
13m 9s
test(sap): add reversible standard text lifecycle adversary #332: Pull request #473 synchronize by HappyDevs1
14s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
14s
test(sap): add reversible standard text lifecycle constitution #340: Pull request #473 synchronize by HappyDevs1
30s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
30s
test(sap): add reversible standard text lifecycle CI #963: Pull request #473 synchronize by HappyDevs1
12s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
12s
test(sap): add reversible standard text lifecycle adversary #331: Pull request #473 synchronize by HappyDevs1
13s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
13s
test(sap): add reversible standard text lifecycle constitution #339: Pull request #473 synchronize by HappyDevs1
23s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
23s
test(sap): add reversible standard text lifecycle CI #962: Pull request #473 synchronize by HappyDevs1
13s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
13s
test(sap): add reversible standard text lifecycle CI #961: Pull request #473 opened by HappyDevs1
12s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
12s
test(sap): add reversible standard text lifecycle constitution #338: Pull request #473 opened by HappyDevs1
32s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
32s
test(sap): add reversible standard text lifecycle adversary #330: Pull request #473 opened by HappyDevs1
13s codex/complex-sap-standard-text-write
codex/complex-sap-standard-text-write
13s
Running Copilot Code Review Copilot #62: by Copilot AI
4m 42s codex/complex-sap-sales-order-audit
codex/complex-sap-sales-order-audit
4m 42s
npx smoke test npx smoke test #19: Scheduled
23s main
main
23s
CI CI #960: Scheduled
19m 50s main
main
19m 50s