Skip to content

Actions: viperproject/tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed exists limitation paragraph Generate tutorial #79: Pull request #25 opened by rayman2000
10s nklose/exists
nklose/exists
10s
Removed exists limitation paragraph Generate tutorial #78: Commit 57845d2 pushed by rayman2000
11s nklose/exists
nklose/exists
11s
playground runner is HTTPS Generate tutorial #77: Commit 9595ff8 pushed by Aurel300
12s master
master
12s
Update termination.md (#21) Generate tutorial #76: Commit ae9cdcb pushed by Aurel300
14s master
master
14s
Update termination.md Generate tutorial #75: Pull request #21 synchronize by Aurel300
10s meilers_update_termination
meilers_update_termination
10s
Update termination.md Generate tutorial #74: Commit 996afe1 pushed by Aurel300
11s meilers_update_termination
meilers_update_termination
11s
Remove import <decreases/*.vpr> (#24) Generate tutorial #73: Commit 550e3e2 pushed by Aurel300
12s master
master
12s
Remove import <decreases/*.vpr> Generate tutorial #72: Pull request #24 synchronize by Aurel300
14s fosslinux:remove-import-decreases
fosslinux:remove-import-decreases
14s
Fix typos (#23) Generate tutorial #71: Commit 8cd798f pushed by Aurel300
16s master
master
16s
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