Skip to content

Actions: thrumdev/nomt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
802 workflow runs
802 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
Add must_use to path proofs Build and Test #5276: Commit 5592b65 pushed by rphmeier
2m 11s master
master
2m 11s
Add must_use to path proofs Benchtop #1632: Pull request #915 synchronize by rphmeier
10m 40s rh-path-proof-must-use
rh-path-proof-must-use
10m 40s
Add must_use to path proofs Build and Test #5275: Pull request #915 synchronize by rphmeier
2m 7s rh-path-proof-must-use
rh-path-proof-must-use
2m 7s
Add a utility function for checking io_uring permissions Benchtop #1631: Pull request #916 synchronize by rphmeier
13m 9s rh-check-iou-perm
rh-check-iou-perm
13m 9s
Add a utility function for checking io_uring permissions Build and Test #5274: Pull request #916 synchronize by rphmeier
2m 1s rh-check-iou-perm
rh-check-iou-perm
2m 1s
feat: add Session::prove utility for proving in-session Benchtop #1630: Commit 2458d7d pushed by rphmeier
13m 46s master
master
13m 46s
feat: add Session::prove utility for proving in-session Build and Test #5273: Commit 2458d7d pushed by rphmeier
1m 52s master
master
1m 52s
Add a utility function for checking io_uring permissions Build and Test #5272: Pull request #916 synchronize by rphmeier
1m 57s rh-check-iou-perm
rh-check-iou-perm
1m 57s
Add a utility function for checking io_uring permissions Benchtop #1629: Pull request #916 synchronize by rphmeier
8m 41s rh-check-iou-perm
rh-check-iou-perm
8m 41s
Add a utility function for checking io_uring permissions Build and Test #5271: Pull request #916 opened by rphmeier
1m 49s rh-check-iou-perm
rh-check-iou-perm
1m 49s
Add a utility function for checking io_uring permissions Benchtop #1628: Pull request #916 opened by rphmeier
8m 5s rh-check-iou-perm
rh-check-iou-perm
8m 5s
Add must_use to path proofs Benchtop #1627: Pull request #915 opened by rphmeier
8m 42s rh-path-proof-must-use
rh-path-proof-must-use
8m 42s
Add must_use to path proofs Build and Test #5270: Pull request #915 opened by rphmeier
2m 15s rh-path-proof-must-use
rh-path-proof-must-use
2m 15s
feat: add Session::prove utility for proving in-session rh-prove-in-session Benchtop #1626: Pull request #914 opened by rphmeier
9m 46s rh-prove-in-session
rh-prove-in-session
9m 46s
feat: add Session::prove utility for proving in-session rh-prove-in-session Build and Test #5269: Pull request #914 opened by rphmeier
2m 14s rh-prove-in-session
rh-prove-in-session
2m 14s
Fix rollback deadlock caused by occupying all threads Build and Test #5268: Commit 7f6db11 pushed by rphmeier
2m 25s master
master
2m 25s
Fix rollback deadlock caused by occupying all threads Benchtop #1625: Commit 7f6db11 pushed by rphmeier
7m 12s master
master
7m 12s
Fix rollback deadlock caused by occupying all threads Build and Test #5267: Pull request #913 synchronize by rphmeier
1m 47s rh-fix-rollback-deadlock-2
rh-fix-rollback-deadlock-2
1m 47s
Fix rollback deadlock caused by occupying all threads Benchtop #1624: Pull request #913 synchronize by rphmeier
7m 45s rh-fix-rollback-deadlock-2
rh-fix-rollback-deadlock-2
7m 45s
fix a deadlock in begin_session racing with commit Benchtop #1623: Commit 859ece3 pushed by rphmeier
8m 7s master
master
8m 7s
fix a deadlock in begin_session racing with commit Build and Test #5266: Commit 859ece3 pushed by rphmeier
1m 54s master
master
1m 54s
fix a deadlock in begin_session racing with commit Benchtop #1622: Pull request #912 synchronize by rphmeier
8m 33s rh-fix-begin-session-deadlock-1
rh-fix-begin-session-deadlock-1
8m 33s
fix a deadlock in begin_session racing with commit Build and Test #5265: Pull request #912 synchronize by rphmeier
1m 48s rh-fix-begin-session-deadlock-1
rh-fix-begin-session-deadlock-1
1m 48s
add try_commit to rollback as well Build and Test #5264: Commit aeb31a8 pushed by rphmeier
1m 50s master
master
1m 50s
add try_commit to rollback as well Benchtop #1621: Commit aeb31a8 pushed by rphmeier
8m 29s master
master
8m 29s