Skip to content

Actions: microsoft/proxy

Proxy-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
395 workflow runs
395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce compile-time complexity of combined_dispatch_prototype::overlo…
Proxy-CI #137: Commit baa0f87 pushed by mingxwa
January 18, 2024 16:13 2m 4s main
January 18, 2024 16:13 2m 4s
Fix self-move-assignment for proxy (#59)
Proxy-CI #134: Commit deee3c6 pushed by mingxwa
January 18, 2024 13:48 1m 50s main
January 18, 2024 13:48 1m 50s
Add support for combination of incomplete dispatch (#58)
Proxy-CI #131: Commit 531dfcc pushed by mingxwa
January 16, 2024 14:35 1m 52s main
January 16, 2024 14:35 1m 52s
Fix is_address_deducible for MSVC (#57)
Proxy-CI #129: Commit d3b69dd pushed by mingxwa
January 16, 2024 11:50 1m 31s main
January 16, 2024 11:50 1m 31s
Simplify the semantics of facade per spec (#55)
Proxy-CI #127: Commit 4d22d2a pushed by mingxwa
January 15, 2024 12:17 1m 11s main
January 15, 2024 12:17 1m 11s
Add macro PRO_DEF_COMBINED_DISPATCH (#54)
Proxy-CI #121: Commit 67cdc89 pushed by mingxwa
January 4, 2024 15:03 2m 7s main
January 4, 2024 15:03 2m 7s
Rename (#52)
Proxy-CI #119: Commit 555a349 pushed by mingxwa
December 26, 2023 13:30 1m 1s main
December 26, 2023 13:30 1m 1s
Improve naming of proxy_pointer_constraints
Proxy-CI #118: Pull request #52 opened by mingxwa
December 26, 2023 08:51 1m 34s mingxwa:user/mingxwa/rename-v2
December 26, 2023 08:51 1m 34s
Bug fix: Function pointer can't be used to create a proxy (#50)
Proxy-CI #117: Commit 30c87ef pushed by mingxwa
December 26, 2023 08:28 1m 7s main
December 26, 2023 08:28 1m 7s
Revise the semantics of facade (#48)
Proxy-CI #114: Commit a6f65fe pushed by mingxwa
December 22, 2023 09:51 1m 41s main
December 22, 2023 09:51 1m 41s
Revise the semantics of facade
Proxy-CI #113: Pull request #48 synchronize by mingxwa
December 22, 2023 04:09 1m 25s mingxwa:user/mingxwa/v2
December 22, 2023 04:09 1m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-12-22 or the other filters available.