Skip to content

Actions: contractautomataproject/ContractAutomataLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
improved test coverage GitHub CI #219: Commit 953b916 pushed by davidebasile
June 6, 2024 15:12 9m 52s main
main
June 6, 2024 15:12 9m 52s
fixed the badges of README to point to the main branch GitHub CI #218: Commit eff396a pushed by davidebasile
June 5, 2024 10:39 9m 35s main
main
June 5, 2024 10:39 9m 35s
removing unused classes GitHub CI #217: Commit f594730 pushed by davidebasile
June 5, 2024 10:34 10m 42s main
main
June 5, 2024 10:34 10m 42s
New orchestration (#16) GitHub CI #216: Commit 5966bfa pushed by davidebasile
June 5, 2024 10:08 9m 21s main
main
June 5, 2024 10:08 9m 21s
fixing a problem with sonarcloud running on ubuntu with java 11 GitHub CI #215: Commit 060d42e pushed by davidebasile
June 5, 2024 09:11 9m 5s newOrchestration
newOrchestration
June 5, 2024 09:11 9m 5s
update README (badges for the new branch) and pom.xml coveralls to ig… GitHub CI #214: Commit 77892d2 pushed by davidebasile
June 4, 2024 13:55 5m 36s newOrchestration
newOrchestration
June 4, 2024 13:55 5m 36s
fixed some errors GitHub CI #213: Commit bd33cc0 pushed by davidebasile
December 21, 2023 16:45 11m 33s newOrchestration
newOrchestration
December 21, 2023 16:45 11m 33s
change name to SplittingOrchestrationSynthesisOperator.java GitHub CI #212: Commit c594651 pushed by davidebasile
December 18, 2023 17:31 10m 9s newOrchestration
newOrchestration
December 18, 2023 17:31 10m 9s
trying to fix pom.xml for sonarcloud coverage GitHub CI #211: Commit 475317d pushed by davidebasile
December 1, 2023 12:54 13m 24s newOrchestration
newOrchestration
December 1, 2023 12:54 13m 24s
update sonar.coverage.exclusions in pom.xml GitHub CI #210: Commit b736244 pushed by davidebasile
December 1, 2023 11:23 10m 10s newOrchestration
newOrchestration
December 1, 2023 11:23 10m 10s
fixed the constructor of BasicState.java to accept the committed flag. GitHub CI #209: Commit 65649fa pushed by davidebasile
December 1, 2023 11:05 10m 15s newOrchestration
newOrchestration
December 1, 2023 11:05 10m 15s
fixed a typo in ModalTransition GitHub CI #208: Commit eb648dd pushed by davidebasile
November 30, 2023 22:01 10m 17s newOrchestration
newOrchestration
November 30, 2023 22:01 10m 17s
implemented TauActions, and committed states. GitHub CI #207: Commit 0e22810 pushed by davidebasile
November 30, 2023 19:53 10m 48s newOrchestration
newOrchestration
November 30, 2023 19:53 10m 48s
fix GitHub CI #206: Commit 68e5689 pushed by davidebasile
November 16, 2023 21:08 8m 25s newOrchestration
newOrchestration
November 16, 2023 21:08 8m 25s
implemented the NewOrchestrationSynthesisOperator.java class and test GitHub CI #205: Commit ef8f646 pushed by davidebasile
November 16, 2023 19:12 12m 18s newOrchestration
newOrchestration
November 16, 2023 19:12 12m 18s
created new branch for implementing the new orchestration synthesis a… GitHub CI #204: Commit 7e9bf42 pushed by davidebasile
October 24, 2023 12:28 17m 38s newOrchestration
newOrchestration
October 24, 2023 12:28 17m 38s
Update README.md GitHub CI #203: Commit 2490b2d pushed by davidebasile
August 19, 2023 20:08 18m 2s main
main
August 19, 2023 20:08 18m 2s
Update README.md GitHub CI #202: Commit 6e94067 pushed by davidebasile
August 19, 2023 20:06 16m 12s davidebasile-patch-1
davidebasile-patch-1
August 19, 2023 20:06 16m 12s
Update README.md GitHub CI #201: Commit b683172 pushed by davidebasile
May 23, 2023 21:08 15m 19s main
main
May 23, 2023 21:08 15m 19s