Skip to content

Actions: FreeAndFair/VoteSecure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
424 workflow runs
424 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
Build and Release Artifacts Build and Release Artifacts #17: Manually run by dmzimmerman
1m 54s main
main
1m 54s
Build and Release Artifacts Build and Release Artifacts #16: Manually run by dmzimmerman
2m 4s main
main
2m 4s
chore: set date for release 1.1.1 in CHANGELOG.md Run pre-commit Hooks #30: Commit 1889893 pushed by dmzimmerman
1m 3s main
main
1m 3s
Build and Release Artifacts Build and Release Artifacts #15: Manually run by dmzimmerman
1m 47s main
main
1m 47s
chore: set date for release 1.1.1 in CHANGELOG.md Run pre-commit Hooks #29: Commit 82c2fee pushed by dmzimmerman
1m 3s main
main
1m 3s
Verify Rust Workspace Verify Rust Workspace #1: completed by dmzimmerman
10m 22s
10m 22s
Verify Cryptol Docstrings Verify Cryptol Docstrings #98: completed by dmzimmerman
1h 48m 33s
1h 48m 33s
Verify Tamarin Models Verify Tamarin Models #13: completed by dmzimmerman
52m 19s
52m 19s
feat: CI/CV overhaul and general repository cleanup Test Validity of Tamarin Models #1: Commit 2daebfa pushed by dmzimmerman
51s main
main
51s
feat: CI/CV overhaul and general repository cleanup Test Validity of Feature Model #1: Commit 2daebfa pushed by dmzimmerman
1m 16s main
main
1m 16s
feat: CI/CV overhaul and general repository cleanup PLE Docker Image #27: Commit 2daebfa pushed by dmzimmerman
13m 13s main
main
13m 13s
feat: CI/CV overhaul and general repository cleanup Test Validity of Cryptol Files #20: Commit 2daebfa pushed by dmzimmerman
59s main
main
59s
feat: CI/CV overhaul and general repository cleanup CPV Docker Image #16: Commit 2daebfa pushed by dmzimmerman
6m 51s main
main
6m 51s
feat: CI/CV overhaul and general repository cleanup Isabelle Docker Image #1: Commit 2daebfa pushed by dmzimmerman
21m 17s main
main
21m 17s
feat: CI/CV overhaul and general repository cleanup Test Validity of Isabelle Files #1: Commit 2daebfa pushed by dmzimmerman
2m 46s main
main
2m 46s
feat: CI/CV overhaul and general repository cleanup Build and Release Artifacts #14: Commit 2daebfa pushed by dmzimmerman
1m 49s main
main
1m 49s
feat: CI/CV overhaul and general repository cleanup Test Validity of Rust Workspace #8: Commit 2daebfa pushed by dmzimmerman
4m 6s main
main
4m 6s
feat: CI/CV overhaul and general repository cleanup Run pre-commit Hooks #28: Commit 2daebfa pushed by dmzimmerman
1m 8s main
main
1m 8s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #83: Scheduled
1m 7s main
main
1m 7s
Verify Cryptol Docstrings Verify Cryptol Docstrings #97: Scheduled
46s main
main
46s
Verify Cryptol Docstrings Verify Cryptol Docstrings #96: Scheduled
35s main
main
35s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #82: Scheduled
59s main
main
59s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #81: Scheduled
56s main
main
56s
Verify Cryptol Docstrings Verify Cryptol Docstrings #95: Scheduled
37s main
main
37s
Verify Cryptol Docstrings Verify Cryptol Docstrings #94: Scheduled
46s main
main
46s