Skip to content

Actions: automators-com/flowproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,988 workflow runs
1,988 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
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
SAP E2E (real GUI) SAP E2E (real GUI) #24: Scheduled
12m 55s main
main
12m 55s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) adversary #329: Pull request #471 synchronize by AminChirazi
14s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
14s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) CI #959: Pull request #471 synchronize by AminChirazi
4m 35s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
4m 35s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) constitution #337: Pull request #471 synchronize by AminChirazi
25s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
25s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) constitution #336: Pull request #472 synchronize by AminChirazi
26s feat/465a-5-falsifiability
feat/465a-5-falsifiability
26s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) CI #958: Pull request #472 synchronize by AminChirazi
4m 17s feat/465a-5-falsifiability
feat/465a-5-falsifiability
4m 17s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) adversary #328: Pull request #472 synchronize by AminChirazi
17s feat/465a-5-falsifiability
feat/465a-5-falsifiability
17s
feat(agent): record observed egress as http_request side effects (#465 Phase A, 3/5) constitution #335: Pull request #470 synchronize by AminChirazi
35s feat/465a-3-http-capture
feat/465a-3-http-capture
35s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) constitution #334: Pull request #471 synchronize by AminChirazi
29s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
29s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) adversary #327: Pull request #471 synchronize by AminChirazi
13s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
13s
feat(agent): record observed egress as http_request side effects (#465 Phase A, 3/5) adversary #326: Pull request #470 synchronize by AminChirazi
13s feat/465a-3-http-capture
feat/465a-3-http-capture
13s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) CI #957: Pull request #471 synchronize by AminChirazi
2s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
2s
feat(agent): record observed egress as http_request side effects (#465 Phase A, 3/5) CI #956: Pull request #470 synchronize by AminChirazi
4m 23s feat/465a-3-http-capture
feat/465a-3-http-capture
4m 23s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) CI #955: Pull request #472 synchronize by AminChirazi
3s feat/465a-5-falsifiability
feat/465a-5-falsifiability
3s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) constitution #333: Pull request #472 synchronize by AminChirazi
22s feat/465a-5-falsifiability
feat/465a-5-falsifiability
22s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) adversary #325: Pull request #472 synchronize by AminChirazi
15s feat/465a-5-falsifiability
feat/465a-5-falsifiability
15s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) CI #954: Pull request #472 labeled by AminChirazi
4m 31s feat/465a-5-falsifiability
feat/465a-5-falsifiability
4m 31s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) CI #953: Pull request #472 opened by AminChirazi
2s feat/465a-5-falsifiability
feat/465a-5-falsifiability
2s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) constitution #332: Pull request #472 opened by AminChirazi
20s feat/465a-5-falsifiability
feat/465a-5-falsifiability
20s
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) adversary #324: Pull request #472 opened by AminChirazi
16s feat/465a-5-falsifiability
feat/465a-5-falsifiability
16s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) CI #952: Pull request #471 labeled by AminChirazi
4m 30s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
4m 30s
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5) constitution #331: Pull request #471 opened by AminChirazi
25s feat/465a-4-side-effect-assertion
feat/465a-4-side-effect-assertion
25s