Skip to content

Actions: damaki/libsap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 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
Bump version to 0.3.0 .github/workflows/main.yaml #77: Commit d330591 pushed by damaki
3m 44s release/0.3
release/0.3
3m 44s
Fix inaccurate Always_Terminates aspect on atomic operations .github/workflows/main.yaml #76: Commit 29e31e9 pushed by damaki
3m 46s release/0.3
release/0.3
3m 46s
Fix inaccurate Always_Terminates aspect on atomic operations .github/workflows/main.yaml #75: Commit 29e31e9 pushed by damaki
3m 41s main
main
3m 41s
Fix inaccurate Always_Terminates aspect on atomic operations .github/workflows/main.yaml #74: Pull request #30 opened by damaki
3m 49s topic/atomic-exchange-termination
topic/atomic-exchange-termination
3m 49s
Fix resource leak detection .github/workflows/main.yaml #73: Commit 3381513 pushed by damaki
3m 27s main
main
3m 27s
Fix resource leak detection .github/workflows/main.yaml #72: Pull request #29 opened by damaki
3m 43s topic/fix-resource-leak-detection
topic/fix-resource-leak-detection
3m 43s
Allow any definite and non-limited type for Request_Kind_Type .github/workflows/main.yaml #71: Commit 57c59ee pushed by damaki
3m 11s main
main
3m 11s
Allow any definite and non-limited type for Request_Kind_Type .github/workflows/main.yaml #70: Pull request #28 synchronize by damaki
3m 37s topic/relax-request-kind
topic/relax-request-kind
3m 37s
Allow any definite and non-limited type for Request_Kind_Type .github/workflows/main.yaml #69: Pull request #28 synchronize by damaki
3m 21s topic/relax-request-kind
topic/relax-request-kind
3m 21s
Remove Global contract for Send_Confirm (synchronous SAP) .github/workflows/main.yaml #68: Commit ac5e7e6 pushed by damaki
3m 42s main
main
3m 42s
Allow any definite and non-limited type for Request_Kind_Type .github/workflows/main.yaml #67: Pull request #28 opened by damaki
1m 1s topic/relax-request-kind
topic/relax-request-kind
1m 1s
Remove Global contract for Send_Confirm (synchronous SAP) .github/workflows/main.yaml #66: Pull request #27 opened by damaki
3m 29s topic/send-confirm-globals
topic/send-confirm-globals
3m 29s
Bump version to 0.3.0-dev .github/workflows/main.yaml #65: Commit 009cce9 pushed by damaki
3m 41s main
main
3m 41s
Mark property functions as ghost when possible .github/workflows/main.yaml #64: Commit c721916 pushed by damaki
3m 47s main
main
3m 47s
Mark property functions as ghost when possible .github/workflows/main.yaml #63: Pull request #26 opened by damaki
3m 25s topic/use-ghost
topic/use-ghost
3m 25s
Support proving a frame condition when moving ownership of handles .github/workflows/main.yaml #62: Commit c18596d pushed by damaki
3m 25s main
main
3m 25s
Support proving a frame condition when moving ownership of handles .github/workflows/main.yaml #61: Pull request #25 opened by damaki
3m 55s topic/move-frame-condition
topic/move-frame-condition
3m 55s
Add constructor functions for handles .github/workflows/main.yaml #60: Commit b5b0d1d pushed by damaki
3m 37s main
main
3m 37s
Add constructor functions for handles .github/workflows/main.yaml #59: Pull request #24 opened by damaki
3m 29s topic/handle-constructors
topic/handle-constructors
3m 29s
Update CI action versions .github/workflows/main.yaml #58: Commit 2a1c1b3 pushed by damaki
5m 4s main
main
5m 4s
Update CI action versions .github/workflows/main.yaml #57: Pull request #23 opened by damaki
5m 12s topic/update-actions
topic/update-actions
5m 12s
Allow confirm primitives to be written multiple times. .github/workflows/main.yaml #56: Commit 56de390 pushed by damaki
3m 17s main
main
3m 17s
Allow primitives to be written multiple times .github/workflows/main.yaml #55: Pull request #22 opened by damaki
3m 17s topic/allow-multiple-writes
topic/allow-multiple-writes
3m 17s
Bump version to 0.3.0-dev .github/workflows/main.yaml #54: Pull request #21 opened by damaki
3m 54s topic/0.3.0-dev
topic/0.3.0-dev
3m 54s
Bump version to 0.2.0 .github/workflows/main.yaml #53: Commit 6539a64 pushed by damaki
3m 23s release/0.2
release/0.2
3m 23s