Skip to content

Actions: automators-com/flowproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,016 workflow runs
2,016 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
npx smoke test npx smoke test #23: Scheduled
28s main
main
28s
CI CI #969: Scheduled
25m 12s main
main
25m 12s
SAP E2E (real GUI) SAP E2E (real GUI) #29: Scheduled
6m 9s main
main
6m 9s
npx smoke test npx smoke test #22: Scheduled
26s main
main
26s
CI CI #968: Scheduled
25m 24s main
main
25m 24s
SAP E2E (real GUI) SAP E2E (real GUI) #28: Scheduled
5m 56s main
main
5m 56s
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