Skip to content

Actions: viperproject/program-proofs-prusti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chapters 1 to 5 Verify and Lint #6: Commit c948bb6 pushed by Aurel300
May 29, 2024 13:52 1m 16s master
master
May 29, 2024 13:52 1m 16s
chapters 1 to 5 Verify and Lint #5: Commit ce5b7a2 pushed by Aurel300
May 29, 2024 13:48 47s master
master
May 29, 2024 13:48 47s
chapters 1 to 5 Verify and Lint #4: Commit 780e9ee pushed by Aurel300
May 29, 2024 13:41 1m 22s master
master
May 29, 2024 13:41 1m 22s
chapters 1 to 5 Verify and Lint #3: Commit 6cf75d4 pushed by Aurel300
May 29, 2024 13:38 49s master
master
May 29, 2024 13:38 49s
chapters 1 to 5 Verify and Lint #2: Commit 4583f27 pushed by Aurel300
May 29, 2024 13:37 34s master
master
May 29, 2024 13:37 34s
initial commit Verify and Lint #1: Commit 53bed90 pushed by Aurel300
May 29, 2024 13:27 Failure master
master
May 29, 2024 13:27 Failure