Skip to content

Actions: mgrojo/coap_spark

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
245 workflow runs
245 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 server to the prove workflow using a matrix to reuse the commands GNATprove #75: Commit 3e884fe pushed by mgrojo
1h 15m 46s coap-server
coap-server
1h 15m 46s
Add server to the prove workflow using a matrix to reuse the commands Build #184: Commit 3e884fe pushed by mgrojo
10m 24s coap-server
coap-server
10m 24s
Upgrade gnatprove to version 15 GNATprove #74: Commit 3f1d939 pushed by mgrojo
1h 26m 21s feature/upgrade-gnatprove
feature/upgrade-gnatprove
1h 26m 21s
Upgrade gnatprove to version 15 AppImage #91: Commit 3f1d939 pushed by mgrojo
1m 29s feature/upgrade-gnatprove
feature/upgrade-gnatprove
1m 29s
Upgrade gnatprove to version 15 Build #183: Commit 3f1d939 pushed by mgrojo
11m 5s feature/upgrade-gnatprove
feature/upgrade-gnatprove
11m 5s
GNATprove GNATprove #73: Manually run by mgrojo
1h 21m 14s coap-server
coap-server
1h 21m 14s
Delete for the moment Alire generated files AppImage #90: Commit c98ed56 pushed by mgrojo
1m 19s coap-server
coap-server
1m 19s
Delete for the moment Alire generated files Build #182: Commit c98ed56 pushed by mgrojo
10m 43s coap-server
coap-server
10m 43s
Fix some failing VCs reported by gnatprove AppImage #89: Commit 0f6b94e pushed by mgrojo
1m 54s coap-server
coap-server
1m 54s
Fix some failing VCs reported by gnatprove GNATprove #72: Commit 0f6b94e pushed by mgrojo
1h 24m 13s coap-server
coap-server
1h 24m 13s
Fix some failing VCs reported by gnatprove Build #181: Commit 0f6b94e pushed by mgrojo
10m 30s coap-server
coap-server
10m 30s
Better contracts in Channel and clean-up AppImage #88: Commit 6db4337 pushed by mgrojo
1m 58s coap-server
coap-server
1m 58s
Better contracts in Channel and clean-up Build #180: Commit 6db4337 pushed by mgrojo
10m 57s coap-server
coap-server
10m 57s
Better contracts in Channel and clean-up GNATprove #71: Commit 6db4337 pushed by mgrojo
1h 35m 41s coap-server
coap-server
1h 35m 41s
Try to prevent compilation errors with macos-13 runner Build #179: Commit 9d85fd1 pushed by mgrojo
10m 35s coap-server
coap-server
10m 35s
Try to prevent compilation errors with macos-13 runner AppImage #87: Commit 9d85fd1 pushed by mgrojo
37s coap-server
coap-server
37s
Fix for parent commit Build #178: Commit b4cfd3d pushed by mgrojo
10m 13s coap-server
coap-server
10m 13s
Fix for parent commit AppImage #86: Commit b4cfd3d pushed by mgrojo
1m 54s coap-server
coap-server
1m 54s
Fix for parent commit GNATprove #70: Commit b4cfd3d pushed by mgrojo
1h 42m 5s coap-server
coap-server
1h 42m 5s
Fix some failing VCs in Messages.Encoding AppImage #85: Commit d575d0f pushed by mgrojo
1m 35s coap-server
coap-server
1m 35s
Fix some failing VCs in Messages.Encoding Build #177: Commit d575d0f pushed by mgrojo
5m 14s coap-server
coap-server
5m 14s
Fix some failing VCs in Messages.Encoding GNATprove #69: Commit d575d0f pushed by mgrojo
1m 38s coap-server
coap-server
1m 38s
Initial implementation of secure server communication AppImage #84: Commit 7b6f178 pushed by mgrojo
1m 35s coap-server
coap-server
1m 35s
Initial implementation of secure server communication GNATprove #68: Commit 7b6f178 pushed by mgrojo
1h 26m 43s coap-server
coap-server
1h 26m 43s
Initial implementation of secure server communication Build #176: Commit 7b6f178 pushed by mgrojo
10m 50s coap-server
coap-server
10m 50s