Skip to content

Actions: Echtzeitsysteme/timed-automata-analysis-frontend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

"stmtterm" where identifier can't be "if"/"while"/"nop" since these a… CI pipeline #28: Commit 8f1347b pushed by Josef552
September 26, 2024 20:04 1m 8s dev
dev
September 26, 2024 20:04 1m 8s
weak syncs CI pipeline #27: Commit 84b4c63 pushed by Josef552
September 26, 2024 12:01 1m 7s dev
dev
September 26, 2024 12:01 1m 7s
trim() CI pipeline #26: Commit af29b52 pushed by Josef552
September 19, 2024 17:28 1m 3s dev
dev
September 19, 2024 17:28 1m 3s
e CI pipeline #25: Commit 4c5dbae pushed by Josef552
September 18, 2024 10:46 1m 4s dev
dev
September 18, 2024 10:46 1m 4s
Prozess- & System-Selection aufhübschen CI pipeline #24: Commit 4caef66 pushed by Josef552
September 17, 2024 12:03 1m 11s dev
dev
September 17, 2024 12:03 1m 11s
fixed syncs???? CI pipeline #23: Commit 6ab0411 pushed by Josef552
September 17, 2024 00:29 1m 6s dev
dev
September 17, 2024 00:29 1m 6s
sugar CI pipeline #22: Commit 6f51770 pushed by Josef552
September 16, 2024 18:46 1m 3s dev
dev
September 16, 2024 18:46 1m 3s
minor tweak CI pipeline #21: Commit dab89e5 pushed by Josef552
September 16, 2024 00:55 1m 10s dev
dev
September 16, 2024 00:55 1m 10s
minor tweaks CI pipeline #20: Commit 4537443 pushed by Josef552
September 14, 2024 17:05 1m 11s dev
dev
September 14, 2024 17:05 1m 11s
change to ClauseManip and -ViewModel. maybe revert? idk CI pipeline #19: Commit bb5e527 pushed by Josef552
September 13, 2024 14:03 1m 1s dev
dev
September 13, 2024 14:03 1m 1s
added and integrated SwitchStatements, (do:...) CI pipeline #18: Commit 3a74525 pushed by Josef552
September 13, 2024 14:01 1m 1s dev
dev
September 13, 2024 14:01 1m 1s
check for resets again + integrate while, if, then etc... CI pipeline #17: Commit 35b2929 pushed by Josef552
September 13, 2024 01:13 1m 11s dev
dev
September 13, 2024 01:13 1m 11s
network tweaks CI pipeline #16: Commit 2621ef1 pushed by Josef552
September 11, 2024 22:14 1m 14s dev
dev
September 11, 2024 22:14 1m 14s
tweak to automatic Automaton Layout CI pipeline #15: Commit b8b421b pushed by Josef552
September 11, 2024 12:07 1m 3s dev
dev
September 11, 2024 12:07 1m 3s
automatic layout. edges still overlapping CI pipeline #14: Commit 480ebb9 pushed by Josef552
September 9, 2024 18:14 1m 20s dev
dev
September 9, 2024 18:14 1m 20s
parser dot CI pipeline #13: Commit b218c28 pushed by Josef552
September 9, 2024 15:45 2m 1s dev
dev
September 9, 2024 15:45 2m 1s
tweaks CI pipeline #12: Commit 9171cf3 pushed by Josef552
September 9, 2024 12:29 1m 18s dev
dev
September 9, 2024 12:29 1m 18s
tweak CI pipeline #11: Commit 6da7b06 pushed by Josef552
September 6, 2024 19:09 1m 20s dev
dev
September 6, 2024 19:09 1m 20s
fixed sync constraint for later use CI pipeline #10: Commit efee892 pushed by Josef552
September 5, 2024 12:16 1m 10s dev
dev
September 5, 2024 12:16 1m 10s
tried to implement Element-Table for integer values. => TODO: Manipul… CI pipeline #9: Commit 631b50c pushed by Josef552
September 4, 2024 14:23 1m 9s dev
dev
September 4, 2024 14:23 1m 9s
missing exmark option CI pipeline #8: Commit 54165e8 pushed by Josef552
September 3, 2024 20:02 1m 9s dev
dev
September 3, 2024 20:02 1m 9s
parsing shmarsing CI pipeline #7: Commit 0330a68 pushed by Josef552
September 2, 2024 17:05 1m 44s dev
dev
September 2, 2024 17:05 1m 44s
delete unnecessary css content, revert to ESNext CI pipeline #6: Commit 76f241b pushed by Josef552
August 26, 2024 07:13 1m 8s dev
dev
August 26, 2024 07:13 1m 8s
tweaks CI pipeline #5: Commit 85d8c13 pushed by Josef552
August 19, 2024 16:13 1m 3s dev
dev
August 19, 2024 16:13 1m 3s
nicer file CI pipeline #4: Commit 7feb907 pushed by Josef552
August 13, 2024 15:08 1m 14s dev
dev
August 13, 2024 15:08 1m 14s