Skip to content

Actions: whitemech/TraceAligner

Actions

Trace-Alignment Code CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
javapackage.yml
5 workflow runs
5 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge remote-tracking branch 'origin/main' Trace-Alignment Code CI #48: Commit 329e012 pushed by francescofuggitti
July 30, 2023 19:13 54s main
main
July 30, 2023 19:13 54s
add apptainer definition, update README.md Trace-Alignment Code CI #47: Commit 1680a0f pushed by francescofuggitti
July 30, 2023 19:09 53s main
main
July 30, 2023 19:09 53s
udpate StripsEncoding domain with constants, remove them from objects… Trace-Alignment Code CI #46: Commit 6f4720c pushed by francescofuggitti
July 26, 2023 18:18 49s main
main
July 26, 2023 18:18 49s
remove LTLf2DFA part that is not used anymore Trace-Alignment Code CI #45: Commit a112fd6 pushed by francescofuggitti
July 25, 2023 19:45 59s main
main
July 25, 2023 19:45 59s
add parameters to StripsEncoding actions Trace-Alignment Code CI #44: Commit b0dc76a pushed by francescofuggitti
July 25, 2023 19:35 40s main
main
July 25, 2023 19:35 40s