Skip to content

Actions: FreeAndFair/VoteSecure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
329 workflow runs
329 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #51: Scheduled
3m 46s main
main
3m 46s
Verify Cryptol Docstrings Verify Cryptol Docstrings #64: Scheduled
49s main
main
49s
Verify Cryptol Docstrings Verify Cryptol Docstrings #63: Scheduled
43s main
main
43s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #50: 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 #49: Scheduled
1m 17s main
main
1m 17s
Verify Cryptol Docstrings Verify Cryptol Docstrings #62: Scheduled
50s main
main
50s
Verify Cryptol Docstrings Verify Cryptol Docstrings #61: Scheduled
4m 19s main
main
4m 19s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #48: Scheduled
1m 18s main
main
1m 18s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #47: Scheduled
1m 17s main
main
1m 17s
Verify Cryptol Docstrings Verify Cryptol Docstrings #60: Scheduled
44s main
main
44s
Verify Cryptol Docstrings Verify Cryptol Docstrings #59: Scheduled
48s main
main
48s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #46: Scheduled
1m 23s main
main
1m 23s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #45: Scheduled
1m 16s main
main
1m 16s
Verify Cryptol Docstrings Verify Cryptol Docstrings #58: Scheduled
46s main
main
46s
Verify Cryptol Docstrings Verify Cryptol Docstrings #57: Scheduled
46s main
main
46s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #44: Scheduled
1m 26s main
main
1m 26s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #43: Scheduled
1m 54s main
main
1m 54s
Verify Cryptol Docstrings Verify Cryptol Docstrings #56: Scheduled
1m 23s main
main
1m 23s
Build and Release Artifacts Build and Release Artifacts #11: Manually run by dmzimmerman
2m 7s main
main
2m 7s
feat: threat model cleanup and updates Test Validity of Clafer Files #25: Commit f8d21c8 pushed by dmzimmerman
1m 10s main
main
1m 10s
feat: threat model cleanup and updates Verify Cryptol Docstrings #55: Commit f8d21c8 pushed by dmzimmerman
49s main
main
49s
feat: threat model cleanup and updates Test Generation of Rust Code from Cryptol #13: Commit f8d21c8 pushed by dmzimmerman
4m 7s main
main
4m 7s
feat: threat model cleanup and updates Run pre-commit Hooks #26: Commit f8d21c8 pushed by dmzimmerman
1m 2s main
main
1m 2s
feat: threat model cleanup and updates Run Makefile for Clafer Model #25: Commit f8d21c8 pushed by dmzimmerman
1m 42s main
main
1m 42s
feat: threat model cleanup and updates Test Validity of Rust Workspace #6: Commit f8d21c8 pushed by dmzimmerman
11m 43s main
main
11m 43s