Skip to content

Actions: microsoft/demikernel

Main Catloop

Actions

Loading...

Show workflow options

Create status badge

2,542 workflow runs
2,542 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

[build] Bug Fix: Use -O0 instead of -O3 when in debug mode
Main Catloop #2861: Pull request #1283 opened by stolet
May 15, 2024 22:51 8m 52s bugfix-optflag
May 15, 2024 22:51 8m 52s
[pdpix] getpeername()
Main Catloop #2860: Pull request #1271 synchronize by ppenna
May 15, 2024 22:34 7m 56s feature-getpeername
May 15, 2024 22:34 7m 56s
Merge pull request #1278 from microsoft/bugfix-catnapw-close
Main Catloop #2859: Commit c420595 pushed by ppenna
May 15, 2024 21:48 9m 0s dev
dev
May 15, 2024 21:48 9m 0s
[libos] Merge Config Files
Main Catloop #2858: Pull request #1274 synchronize by iyzhang
May 15, 2024 20:46 1m 57s enhancement-tcp-defaults
May 15, 2024 20:46 1m 57s
[libos] Merge Config Files
Main Catloop #2857: Pull request #1274 synchronize by iyzhang
May 15, 2024 20:37 1m 51s enhancement-tcp-defaults
May 15, 2024 20:37 1m 51s
[pdpix] getpeername()
Main Catloop #2856: Pull request #1271 synchronize by ppenna
May 15, 2024 20:11 9m 41s feature-getpeername
May 15, 2024 20:11 9m 41s
[test] Test Sizes of C API
Main Catloop #2855: Pull request #1281 opened by ppenna
May 15, 2024 17:30 8m 58s enhancement-test-sizes
May 15, 2024 17:30 8m 58s
[libos] Merge Config Files
Main Catloop #2854: Pull request #1274 synchronize by iyzhang
May 15, 2024 17:21 46s enhancement-tcp-defaults
May 15, 2024 17:21 46s
[pdpix] getpeername()
Main Catloop #2853: Pull request #1271 synchronize by stolet
May 15, 2024 16:45 8m 11s feature-getpeername
May 15, 2024 16:45 8m 11s
[pdpix] getpeername()
Main Catloop #2852: Pull request #1271 synchronize by stolet
May 15, 2024 16:15 11m 18s feature-getpeername
May 15, 2024 16:15 11m 18s
[pdpix] getpeername()
Main Catloop #2851: Pull request #1271 synchronize by stolet
May 15, 2024 16:14 1m 24s feature-getpeername
May 15, 2024 16:14 1m 24s
[catnapw] Enforce Close on ENOTCONN
Main Catloop #2850: Pull request #1278 opened by ppenna
May 15, 2024 16:09 8m 10s bugfix-catnapw-close
May 15, 2024 16:09 8m 10s
Merge pull request #1276 from microsoft/enhancement-shim-sockopt
Main Catloop #2849: Commit ffaf885 pushed by ppenna
May 15, 2024 15:58 8m 38s dev
dev
May 15, 2024 15:58 8m 38s
[pdpix] getpeername()
Main Catloop #2848: Pull request #1271 synchronize by ppenna
May 15, 2024 15:34 8m 31s feature-getpeername
May 15, 2024 15:34 8m 31s
[pdpix] getpeername()
Main Catloop #2847: Pull request #1271 synchronize by stolet
May 15, 2024 02:12 11m 27s feature-getpeername
May 15, 2024 02:12 11m 27s
[libos] Merge Config Files
Main Catloop #2846: Pull request #1274 synchronize by iyzhang
May 14, 2024 22:34 3m 40s enhancement-tcp-defaults
May 14, 2024 22:34 3m 40s
[pdpix] getpeername()
Main Catloop #2845: Pull request #1271 synchronize by stolet
May 14, 2024 22:29 8m 27s feature-getpeername
May 14, 2024 22:29 8m 27s
[shim] Interpose getsockopt() and setsockopt()
Main Catloop #2844: Pull request #1276 synchronize by ppenna
May 14, 2024 21:26 7m 55s enhancement-shim-sockopt
May 14, 2024 21:26 7m 55s
Merge pull request #1275 from microsoft/bugfix-build-windows
Main Catloop #2843: Commit 4b1ed79 pushed by ppenna
May 14, 2024 21:06 9m 2s dev
dev
May 14, 2024 21:06 9m 2s
[shim] Interpose getsockopt() and setsockopt()
Main Catloop #2842: Pull request #1276 opened by ppenna
May 14, 2024 18:23 11m 13s enhancement-shim-sockopt
May 14, 2024 18:23 11m 13s
[build] Turn on Rust Log on Windows
Main Catloop #2841: Pull request #1275 opened by ppenna
May 14, 2024 18:16 9m 6s bugfix-build-windows
May 14, 2024 18:16 9m 6s
Merge pull request #1270 from microsoft/bugfix-pdpix-sockopt
Main Catloop #2840: Commit e3f3442 pushed by ppenna
May 14, 2024 17:23 8m 20s dev
dev
May 14, 2024 17:23 8m 20s
[libos] Merge Config Files
Main Catloop #2839: Pull request #1274 opened by iyzhang
May 13, 2024 23:13 2m 2s enhancement-tcp-defaults
May 13, 2024 23:13 2m 2s
[pdpix] getpeername()
Main Catloop #2838: Pull request #1271 synchronize by stolet
May 12, 2024 15:12 8m 32s feature-getpeername
May 12, 2024 15:12 8m 32s
[pdpix] getpeername()
Main Catloop #2837: Pull request #1271 synchronize by stolet
May 12, 2024 14:52 35s feature-getpeername
May 12, 2024 14:52 35s