Skip to content

Actions: jmltoolkit/jmltoolkit.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
vcg: note Z3 >= 4.15 for quantified queries Deploy Hugo site to Pages #11: Commit fd12a25 pushed by wadoon
1m 36s main
main
1m 36s
docs(intro): document the JML merge_point statement Deploy Hugo site to Pages #10: Commit f2098fb pushed by wadoon
39s main
main
39s
docs(vcg): document how JML binders are handled (P6.1) Deploy Hugo site to Pages #9: Commit 7f46db1 pushed by wadoon
47s main
main
47s
docs(vcg): document JML \sum modeling (P6.1) Deploy Hugo site to Pages #8: Commit 861cd75 pushed by wadoon
33s main
main
33s
docs: fix Getting Started coordinates and Maven Central badge Deploy Hugo site to Pages #7: Commit 55dd918 pushed by wadoon
29s main
main
29s
docs: fix Development page to describe the Gradle build Deploy Hugo site to Pages #6: Commit 7bd34d6 pushed by wadoon
43s main
main
43s
docs: restructure intro/devel into AST-classes and syntax-elements pages Deploy Hugo site to Pages #5: Commit 6374ea9 pushed by wadoon
30s main
main
30s
add lsp description Deploy Hugo site to Pages #4: Commit 79162d8 pushed by wadoon
35s main
main
35s
wip Deploy Hugo site to Pages #3: Commit b18a2cb pushed by wadoon
26s main
main
26s
prepare first version Deploy Hugo site to Pages #2: Commit 63da11d pushed by wadoon
28s main
main
28s
prepare first version Deploy Hugo site to Pages #1: Commit 2f8048e pushed by wadoon
32s main
main
32s
pages build and deployment pages-build-deployment #2: by wadoon
36s gh-pages
gh-pages
36s
pages build and deployment pages-build-deployment #1: by wadoon
53s main
main
53s