Skip to content

Actions: PhysShell/Own.NET

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #48: Pull request #385 synchronize by PhysShell
1m 49s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
1m 49s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #901: Pull request #385 synchronize by PhysShell
27s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
27s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 Owen.Cli release #112: Pull request #385 synchronize by PhysShell
9m 0s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
9m 0s
fix(tests): the S0 control checks that the flag does not move the ver… CI #2476: Commit f505253 pushed by PhysShell
11m 22s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
11m 22s
Merge pull request #384 from PhysShell/fix/repro-regeneration-moved-i… CI #2475: Commit 464de8d pushed by PhysShell
8m 23s main
main
8m 23s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #900: Pull request #385 edited by PhysShell
20m 4s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
20m 4s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 CI #2474: Pull request #385 synchronize by PhysShell
39m 39s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
39m 39s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #47: Pull request #385 synchronize by PhysShell
23m 8s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
23m 8s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 Owen.Cli release #111: Pull request #385 synchronize by PhysShell
26m 5s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
26m 5s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #899: Pull request #385 synchronize by PhysShell
22s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
22s
docs(roslyn): the trust boundary is part of the profile's soundness m… CI #2473: Commit 98c062e pushed by PhysShell
33m 58s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
33m 58s
feat: add OWN053 orphaned-awaitable advisory P-022 merge gate #46: Pull request #386 opened by PhysShell
34m 22s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
34m 22s
feat: add OWN053 orphaned-awaitable advisory pr-issue-validation #898: Pull request #386 opened by PhysShell
24m 45s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
24m 45s
feat: add OWN053 orphaned-awaitable advisory Owen.Cli release #110: Pull request #386 opened by PhysShell
36m 54s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
36m 54s
feat: add OWN053 orphaned-awaitable advisory CI #2472: Pull request #386 opened by PhysShell
43m 34s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
43m 34s
fix: bind OWN053 facts at strict OwnIR doors CI #2471: Commit 1b1042d pushed by PhysShell
52m 39s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
52m 39s
feat: add OWN053 orphaned-awaitable advisory CI #2470: Commit 951a6a2 pushed by PhysShell
45m 35s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
45m 35s
Merge pull request #383 from PhysShell/fix/validation-ledger-writer-c… CI #2469: Commit 5323dd4 pushed by PhysShell
49m 37s feat/own053-orphaned-awaitable
feat/own053-orphaned-awaitable
49m 37s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #897: Pull request #385 edited by PhysShell
10m 38s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
10m 38s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 Owen.Cli release #109: Pull request #385 synchronize by PhysShell
41m 34s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
41m 34s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #45: Pull request #385 synchronize by PhysShell
26m 14s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
26m 14s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 CI #2468: Pull request #385 synchronize by PhysShell
33m 22s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
33m 22s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #896: Pull request #385 synchronize by PhysShell
20s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
20s
fix(roslyn): a region opened inside the protocol's own types is refus… CI #2467: Commit 78c041a pushed by PhysShell
34m 42s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
34m 42s
P-OWN053-DOOR: bind orphaned_awaitables[] at both OwnIR strict doors … CI #2466: Commit 298b305 pushed by PhysShell
35m 40s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
35m 40s