Skip to content

Actions: lamg/wybe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

explore type checking algorithms tests #162: Commit 453b2ce pushed by lamg
45s master
master
45s
removing parenthesis tests #161: Commit c731b39 pushed by lamg
39s master
master
39s
fixing workflow again tests #160: Commit 4650117 pushed by lamg
34s master
master
34s
fixing workflow Publish NuGet Package #7: Commit 3723bc0 pushed by lamg
1m 37s master
master
1m 37s
fixing workflow tests #159: Commit 3723bc0 pushed by lamg
21s master
master
21s
fixed definitions of GCD tests #158: Commit 9580c9c pushed by lamg
22s gcl-language-service
gcl-language-service
22s
wip proof evaluation as tree tests #157: Commit d3b1e8c pushed by lamg
28s proof-evaluation-as-tree
proof-evaluation-as-tree
28s
core documentation tests #156: Commit 4e9fc1e pushed by lamg
22s gcl-language-service
gcl-language-service
22s
wip working with GCD tests #155: Commit 8bd292e pushed by lamg
16s gcl-language-service
gcl-language-service
16s
wip constant variables vs mutables tests #154: Commit 3b9d789 pushed by lamg
24s gcl-language-service
gcl-language-service
24s
introducing maximum and minimum tests #153: Commit ac69889 pushed by lamg
13s gcl-language-service
gcl-language-service
13s
wip introducing maximum and minimum quantifiers tests #152: Commit 54db15c pushed by lamg
21s gcl-language-service
gcl-language-service
21s
wip Euclid algorithm tests #151: Commit 50a3c19 pushed by lamg
19s gcl-language-service
gcl-language-service
19s
AST to semantic statement implemented and tested tests #150: Commit db42d9b pushed by lamg
19s gcl-language-service
gcl-language-service
19s
improving structure of typed tree tests #149: Commit 64e8568 pushed by lamg
24s gcl-language-service
gcl-language-service
24s
using Proposition instead of StateSpace for wp calculation tests #148: Commit ce31761 pushed by lamg
16s gcl-language-service
gcl-language-service
16s
wlp repetition tested tests #147: Commit 34249e7 pushed by lamg
23s gcl-language-service
gcl-language-service
23s
tested wp alternative tests #146: Commit 11e2116 pushed by lamg
10s gcl-language-service
gcl-language-service
10s
formatting tests #145: Commit 149aa89 pushed by lamg
17s gcl-language-service
gcl-language-service
17s
fixing operators and testing composition tests #144: Commit 48412e7 pushed by lamg
18s gcl-language-service
gcl-language-service
18s
AST to semantic statements tests #143: Commit bb59b8c pushed by lamg
26s gcl-language-service
gcl-language-service
26s
implemented wp for the rest of statements tests #142: Commit b09e0c6 pushed by lamg
18s gcl-language-service
gcl-language-service
18s
added weakest precondition of assignment and fixed domain tests #141: Commit 8198f27 pushed by lamg
17s gcl-language-service
gcl-language-service
17s
testing semanticExprToWExpr tests #140: Commit 77dc499 pushed by lamg
19s gcl-language-service
gcl-language-service
19s
consistent names across Core and WybeLang tests #139: Commit bf6c1d3 pushed by lamg
14s gcl-language-service
gcl-language-service
14s