Skip to content

Actions: FreeAndFair/VoteSecure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
440 workflow runs
440 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
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #91: Scheduled
57s main
main
57s
Verify Cryptol Docstrings Verify Cryptol Docstrings #106: Scheduled
51s main
main
51s
Build and Release Artifacts Build and Release Artifacts #19: Manually run by dmzimmerman
1m 53s main
main
1m 53s
Verify Rust Workspace Verify Rust Workspace #2: completed by dmzimmerman
10m 50s
10m 50s
chore: updated version and changelog for 1.2 Build and Release Artifacts #18: Commit 168f49e pushed by dmzimmerman
2m 19s main
main
2m 19s
chore: updated version and changelog for 1.2 Test Validity of Rust Workspace #9: Commit 168f49e pushed by dmzimmerman
3m 47s main
main
3m 47s
chore: updated version and changelog for 1.2 Run pre-commit Hooks #31: Commit 168f49e pushed by dmzimmerman
57s main
main
57s
Verify Cryptol Docstrings Verify Cryptol Docstrings #105: Scheduled
43s main
main
43s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #90: Scheduled
1m 15s main
main
1m 15s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #89: Scheduled
1m 2s main
main
1m 2s
Verify Cryptol Docstrings Verify Cryptol Docstrings #104: Scheduled
48s main
main
48s
Verify Cryptol Docstrings Verify Cryptol Docstrings #103: Scheduled
40s main
main
40s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #88: Scheduled
1m 2s main
main
1m 2s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #87: Scheduled
1m 11s main
main
1m 11s
Verify Cryptol Docstrings Verify Cryptol Docstrings #102: Scheduled
51s main
main
51s
Verify Cryptol Docstrings Verify Cryptol Docstrings #101: Scheduled
50s main
main
50s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #86: Scheduled
1m 4s main
main
1m 4s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #85: Scheduled
1m 5s main
main
1m 5s
Verify Cryptol Docstrings Verify Cryptol Docstrings #100: Scheduled
12m 36s main
main
12m 36s
Verify Cryptol Docstrings Verify Cryptol Docstrings #99: Scheduled
41s main
main
41s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #84: Scheduled
1m 11s main
main
1m 11s
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