Skip to content

Actions: plug-obp/rege-java

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

suppressed some warnings Build and Publish #25: Commit 76b8cad pushed by teodorov
2m 38s Main
Main
2m 38s
added typing on the Answer Build and Publish #24: Commit ae3bdca pushed by teodorov
2m 21s Main
Main
2m 21s
added a hasToTerminate predicate to the IExecutable with the Executio… Build and Publish #23: Commit cabb18c pushed by teodorov
2m 35s Main
Main
2m 35s
first step toward deadlock atom intercept Build and Publish #22: Commit bfb3187 pushed by teodorov
2m 21s Main
Main
2m 21s
first step toward deadlock atom intercept Build and Publish #21: Commit bfb3187 pushed by teodorov
33s deadlock-eval
deadlock-eval
33s
Release v1.1.0 Build and Publish #20: Commit 17d0fa3 pushed by teodorov
2m 46s v1.1.0
v1.1.0
2m 46s
Release v1.1.0 Build and Publish #19: Commit 17d0fa3 pushed by teodorov
2m 37s Main
Main
2m 37s
added token and actor to ci Build and Publish #18: Commit 4a74d18 pushed by teodorov
2m 36s Main
Main
2m 36s
implemented a regular expression model-checker Build and Publish #17: Commit 5b4324e pushed by teodorov
42s Main
Main
42s
bumped version Build and Publish #16: Commit 53409df pushed by teodorov
3m 0s Main
Main
3m 0s
added module-info.java Build and Publish #15: Commit 5d56ed1 pushed by teodorov
2m 49s Main
Main
2m 49s
added module-info.java Build and Publish #14: Commit 42c3d3b pushed by teodorov
2m 46s Main
Main
2m 46s
added module-info.java Build and Publish #13: Commit 81b617c pushed by teodorov
2m 40s Main
Main
2m 40s
gitHash only as metadata Build and Publish #12: Commit b408339 pushed by teodorov
2m 22s Main
Main
2m 22s
updated badge Build and Publish #11: Commit 9b564b2 pushed by teodorov
2m 34s Main
Main
2m 34s
use The pattern */build/libs/*.jar in CI/CD Build and Publish #10: Commit 182337b pushed by teodorov
2m 26s Main
Main
2m 26s
factored out publishing to root Build and Publish #9: Commit 88f2eae pushed by teodorov
2m 30s Main
Main
2m 30s
Pre-release v1.0.0: Final polish and documentation Build and Publish #8: Commit bccecc0 pushed by teodorov
2m 6s v1.0.0
v1.0.0
2m 6s
Pre-release v1.0.0: Final polish and documentation Build and Publish #7: Commit bccecc0 pushed by teodorov
2m 12s Main
Main
2m 12s
migrated tests Build and Publish #6: Commit 60fb781 pushed by teodorov
2m 14s Main
Main
2m 14s
added usage instructions Build and Publish #5: Commit ebb2f1a pushed by teodorov
2m 26s Main
Main
2m 26s
added test status Build and Publish #4: Commit 4060111 pushed by teodorov
2m 39s Main
Main
2m 39s
added readme Build and Publish #3: Commit b2bb1c4 pushed by teodorov
2m 13s Main
Main
2m 13s
moved to docs Build and Publish #2: Commit 04a56b2 pushed by teodorov
2m 3s Main
Main
2m 3s
ci-cd setup Build and Publish #1: Commit fb7a35f pushed by teodorov
2m 25s Main
Main
2m 25s