Skip to content

Actions: FreeAndFair/VoteSecure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
379 workflow runs
379 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verify Cryptol Docstrings Verify Cryptol Docstrings #84: Scheduled
42s main
main
42s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #70: Scheduled
1m 12s main
main
1m 12s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #69: Scheduled
1m 16s main
main
1m 16s
Verify Cryptol Docstrings Verify Cryptol Docstrings #83: Scheduled
45s main
main
45s
Verify Cryptol Docstrings Verify Cryptol Docstrings #82: Scheduled
36s main
main
36s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #68: Scheduled
1m 20s main
main
1m 20s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #67: Scheduled
1m 23s main
main
1m 23s
Verify Cryptol Docstrings Verify Cryptol Docstrings #81: Scheduled
46s main
main
46s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #66: Scheduled
1m 12s main
main
1m 12s
Verify Cryptol Docstrings Verify Cryptol Docstrings #80: Scheduled
37s main
main
37s
fix: minor cleanups and CI/CD changes Test Validity of Cryptol Files #19: Commit 436969e pushed by dmzimmerman
49s main
main
49s
fix: minor cleanups and CI/CD changes Test Generation of Rust Code from Cryptol #14: Commit 436969e pushed by dmzimmerman
4m 17s main
main
4m 17s
fix: minor cleanups and CI/CD changes Check Tamarin Model Syntax #15: Commit 436969e pushed by dmzimmerman
14s main
main
14s
fix: minor cleanups and CI/CD changes Run pre-commit Hooks #27: Commit 436969e pushed by dmzimmerman
1m 9s main
main
1m 9s
fix: minor cleanups and CI/CD changes Run Makefile for PLE Docker Image #26: Commit 436969e pushed by dmzimmerman
5m 33s main
main
5m 33s
fix: minor cleanups and CI/CD changes Test Validity of Lando Files #26: Commit 436969e pushed by dmzimmerman
52s main
main
52s
fix: minor cleanups and CI/CD changes Run Makefile for Clafer Model #26: Commit 436969e pushed by dmzimmerman
1m 21s main
main
1m 21s
fix: minor cleanups and CI/CD changes Build and Release Artifacts #12: Commit 436969e pushed by dmzimmerman
2m 9s main
main
2m 9s
fix: minor cleanups and CI/CD changes Test Validity of Clafer Files #26: Commit 436969e pushed by dmzimmerman
49s main
main
49s
fix: minor cleanups and CI/CD changes Verify Cryptol Docstrings #79: Commit 436969e pushed by dmzimmerman
44s main
main
44s
fix: minor cleanups and CI/CD changes Test Validity of Rust Workspace #7: Commit 436969e pushed by dmzimmerman
15m 18s main
main
15m 18s
fix: minor cleanups and CI/CD changes Run Makefile for CPV Docker Image #15: Commit 436969e pushed by dmzimmerman
1m 5s main
main
1m 5s
Test Validity of "Refinements Among High-Level Models" Paper Test Validity of "Refinements Among High-Level Models" Paper #65: Scheduled
1m 16s main
main
1m 16s
Verify Cryptol Docstrings Verify Cryptol Docstrings #78: Scheduled
47s main
main
47s
Verify Cryptol Docstrings Verify Cryptol Docstrings #77: Scheduled
48s main
main
48s