Skip to content

Actions: viperproject/ReusableProtocolVerificationLibrary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merges and splits permissions for prophesied keys and constraint Verification of Reusable Protocol Verification Library #30: Commit fb8c62f pushed by ArquintL
23s prophesy-constraint-and-sequence-of-keys
prophesy-constraint-and-sequence-of-keys
23s
updates to latest Gobra commit on branch 'master' Verification of Reusable Protocol Verification Library #29: Commit 45c4cab pushed by ArquintL
4m 59s main
main
4m 59s
merges branch 'main' into 'hugo-ratcheting' Verification of Reusable Protocol Verification Library #28: Commit d542ea0 pushed by ArquintL
4m 54s hugo-ratcheting
hugo-ratcheting
4m 54s
fixes verify script again (#3) Verification of Reusable Protocol Verification Library #27: Commit 4c54cf3 pushed by ArquintL
4m 28s main
main
4m 28s
Fixes verify script again Verification of Reusable Protocol Verification Library #26: Pull request #3 opened by ArquintL
4m 34s more-robust-verify-script
more-robust-verify-script
4m 34s
fixes verify script again Verification of Reusable Protocol Verification Library #25: Commit 6c372f5 pushed by ArquintL
4m 39s more-robust-verify-script
more-robust-verify-script
4m 39s
fixes verify script again Verification of Reusable Protocol Verification Library #24: Commit 0a64a96 pushed by ArquintL
4m 47s more-robust-verify-script
more-robust-verify-script
4m 47s
Merges branch 'main' into 'more-robust-verify-script' Verification of Reusable Protocol Verification Library #23: Commit 3d3e8dd pushed by ArquintL
4m 31s more-robust-verify-script
more-robust-verify-script
4m 31s
fixes verify.sh script Verification of Reusable Protocol Verification Library #22: Commit f6144ba pushed by ArquintL
4m 25s more-robust-verify-script
more-robust-verify-script
4m 25s
More robust verify script (#2) Verification of Reusable Protocol Verification Library #21: Commit 1270d50 pushed by ArquintL
4m 31s main
main
4m 31s
More robust verify script Verification of Reusable Protocol Verification Library #20: Pull request #2 synchronize by ArquintL
4m 33s more-robust-verify-script
more-robust-verify-script
4m 33s
fixes script Verification of Reusable Protocol Verification Library #19: Commit 69c2420 pushed by ArquintL
4m 41s more-robust-verify-script
more-robust-verify-script
4m 41s
More robust verify script Verification of Reusable Protocol Verification Library #18: Pull request #2 opened by ArquintL
23s more-robust-verify-script
more-robust-verify-script
23s
makes verify.sh script more robust against spaces in paths Verification of Reusable Protocol Verification Library #17: Commit fa7c4f0 pushed by ArquintL
29s more-robust-verify-script
more-robust-verify-script
29s
Update Gobra (#1) Verification of Reusable Protocol Verification Library #16: Commit 0f76baf pushed by ArquintL
4m 44s main
main
4m 44s
Update Gobra Verification of Reusable Protocol Verification Library #15: Pull request #1 opened by ArquintL
4m 38s update-to-nightly
update-to-nightly
4m 38s
fixes missing comment end Verification of Reusable Protocol Verification Library #14: Commit 6255732 pushed by ArquintL
4m 45s update-to-nightly
update-to-nightly
4m 45s
removes CI for GitLab Verification of Reusable Protocol Verification Library #13: Commit a212224 pushed by ArquintL
4m 42s update-to-nightly
update-to-nightly
4m 42s
updates to latest version of Gobra Verification of Reusable Protocol Verification Library #12: Commit 2229209 pushed by ArquintL
4m 44s update-to-nightly
update-to-nightly
4m 44s
updates to latest version of Gobra Verification of Reusable Protocol Verification Library #11: Commit acb8357 pushed by ArquintL
36s update-to-nightly
update-to-nightly
36s