Skip to content

Actions: FreeAndFair/VoteSecure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
430 workflow runs
430 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 #23: Manually run by dmzimmerman
3m 16s main
main
3m 16s
Verify Rust Workspace Verify Rust Workspace #4: completed by dmzimmerman
10m 17s
10m 17s
Verify Needham-Schroeder Example Verify Needham-Schroeder Example #1: completed by dmzimmerman
6m 10s
6m 10s
Verify Tamarin Models Verify Tamarin Models #14: completed by dmzimmerman
8m 30s
8m 30s
chore: update change log for version 1.4 Test Validity of Rust Workspace #11: Commit 5643834 pushed by dmzimmerman
3m 27s main
main
3m 27s
chore: update change log for version 1.4 CPV Docker Image #17: Commit 5643834 pushed by dmzimmerman
12m 28s main
main
12m 28s
chore: update change log for version 1.4 Build and Release Artifacts #22: Commit 5643834 pushed by dmzimmerman
2m 50s main
main
2m 50s
chore: update change log for version 1.4 Test Validity of Needham-Schroeder Example #1: Commit 5643834 pushed by dmzimmerman
1m 44s main
main
1m 44s
chore: update change log for version 1.4 PLE Docker Image #28: Commit 5643834 pushed by dmzimmerman
14m 23s main
main
14m 23s
chore: update change log for version 1.4 Isabelle Docker Image #2: Commit 5643834 pushed by dmzimmerman
32m 46s main
main
32m 46s
chore: update change log for version 1.4 Test Validity of Clafer Files #27: Commit 5643834 pushed by dmzimmerman
1m 7s main
main
1m 7s
chore: update change log for version 1.4 Test Validity of Tamarin Models #2: Commit 5643834 pushed by dmzimmerman
1m 6s main
main
1m 6s
chore: update change log for version 1.4 Run pre-commit Hooks #33: Commit 5643834 pushed by dmzimmerman
52s main
main
52s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #111: Scheduled
1m 13s main
main
1m 13s
Verify Cryptol Docstrings Verify Cryptol Docstrings #126: Scheduled
3m 28s main
main
3m 28s
Verify Cryptol Docstrings Verify Cryptol Docstrings #125: Scheduled
47s main
main
47s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #110: Scheduled
1m 27s main
main
1m 27s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #109: Scheduled
1m 10s main
main
1m 10s
Verify Cryptol Docstrings Verify Cryptol Docstrings #124: Scheduled
39s main
main
39s
Verify Cryptol Docstrings Verify Cryptol Docstrings #123: Scheduled
41s main
main
41s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #108: Scheduled
1m 28s main
main
1m 28s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #107: Scheduled
1m 13s main
main
1m 13s
Verify Cryptol Docstrings Verify Cryptol Docstrings #122: Scheduled
41s main
main
41s
Verify Cryptol Docstrings Verify Cryptol Docstrings #121: Scheduled
48s main
main
48s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #106: Scheduled
1m 37s main
main
1m 37s