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: 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
P-OWN053-DOOR: bind orphaned_awaitables[] at both OwnIR strict doors … CI #2465: Commit 298b305 pushed by PhysShell
43m 28s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
43m 28s
fix(tests): a repro artifact can be regenerated after its input bytes move CI #2464: Pull request #384 synchronize by PhysShell
44m 56s fix/repro-regeneration-moved-input
fix/repro-regeneration-moved-input
44m 56s
fix(tests): a repro artifact can be regenerated after its input bytes move P-022 merge gate #44: Pull request #384 synchronize by PhysShell
2m 29s fix/repro-regeneration-moved-input
fix/repro-regeneration-moved-input
2m 29s
fix(tests): a repro artifact can be regenerated after its input bytes move pr-issue-validation #895: Pull request #384 synchronize by PhysShell
1m 7s fix/repro-regeneration-moved-input
fix/repro-regeneration-moved-input
1m 7s
Merge main into fix/repro-regeneration-moved-input CI #2463: Commit d2afc9f pushed by PhysShell
45m 22s fix/repro-regeneration-moved-input
fix/repro-regeneration-moved-input
45m 22s
Merge pull request #383 from PhysShell/fix/validation-ledger-writer-c… CI #2462: Commit 5323dd4 pushed by PhysShell
18m 46s main
main
18m 46s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 Owen.Cli release #108: Pull request #385 opened by PhysShell
5m 54s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
5m 54s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 pr-issue-validation #894: Pull request #385 opened by PhysShell
25s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
25s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 P-022 merge gate #43: Pull request #385 opened by PhysShell
37s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
37s
feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 CI #2461: Pull request #385 opened by PhysShell
25m 22s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
25m 22s
docs(calibration): re-bind steps 4/5/6 and record T0 Amendment 1 CI #2460: Commit ab678eb pushed by PhysShell
9m 26s feat/ownir-v1-state-protocols
feat/ownir-v1-state-protocols
9m 26s
OWN053 "orphaned awaitable": promote the ownership-semantics-lab H-29… CI #2459: Commit ab2964f pushed by PhysShell
14m 5s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
14m 5s
OWN053 "orphaned awaitable": promote the ownership-semantics-lab H-29… CI #2458: Commit ab2964f pushed by PhysShell
10m 51s research/ownership-semantics-lab-v1
research/ownership-semantics-lab-v1
10m 51s
ownership-lab H-29: the Wolverine upstream verification driver (real … CI #2457: Commit f501842 pushed by PhysShell
13m 54s ccr-73cdecbf-0qsiyu
ccr-73cdecbf-0qsiyu
13m 54s