Skip to content

Actions: viperproject/tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix again Generate tutorial #69: Commit 1a772f7 pushed by Aurel300
13s master
master
13s
fix more Generate tutorial #68: Commit 8162efd pushed by Aurel300
12s master
master
12s
fix Generate tutorial #67: Commit 82c4ccc pushed by Aurel300
12s master
master
12s
migrate to mdbook Generate tutorial #66: Commit 2ccba21 pushed by Aurel300
10s master
master
10s
Fix code example about forperm (#16) Generate tutorial #63: Commit bc9e8bc pushed by Aurel300
17s master
master
17s
Merge pull request #18 from viperproject/termination_predicates Generate tutorial #61: Commit d230dfd pushed by Aurel300
16s master
master
16s
Merge pull request #20 from ysaleh03/patch-1 Generate tutorial #60: Commit c0d0608 pushed by Aurel300
17s master
master
17s
add elseif statements Generate tutorial #59: Commit 81a9797 pushed by Aurel300
14s master
master
14s
Merge pull request #22 from viperproject/fix-qp Generate tutorial #58: Commit 18cf397 pushed by JonasAlaif
14s master
master
14s
Fix Quantified Permissions exercise Generate tutorial #57: Pull request #22 opened by JonasAlaif
21s fix-qp
fix-qp
21s
Fix Quantified Permissions exercise Generate tutorial #56: Commit f52a6d3 pushed by JonasAlaif
15s fix-qp
fix-qp
15s
Update termination.md Generate tutorial #55: Pull request #21 opened by marcoeilers
14s meilers_update_termination
meilers_update_termination
14s
Update termination.md Generate tutorial #54: Commit 3705a01 pushed by marcoeilers
15s meilers_update_termination
meilers_update_termination
15s