Skip to content

Actions: ECDAR-AAU-SW-P5/Reveaal

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run_tests.yaml
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/Active_passive_clock_reduction-6… Run Tests #122: Commit 3bdc0e5 pushed by SilverBrother
November 28, 2023 13:09 1m 24s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 28, 2023 13:09 1m 24s
added test for update_global_groups Run Tests #121: Commit 3cd27d9 pushed by Emilorzz
November 28, 2023 12:54 1m 35s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 28, 2023 12:54 1m 35s
Test templates and a new sample added. First new test done. Run Tests #120: Commit cbca2a2 pushed by SilverBrother
November 27, 2023 14:21 1m 29s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 27, 2023 14:21 1m 29s
Moved all clockreduction tests and cleaned them up. Run Tests #119: Commit e49555e pushed by Aavild
November 27, 2023 11:08 1m 38s symboltable-compiled-comp-6
symboltable-compiled-comp-6
November 27, 2023 11:08 1m 38s
Error propogations added to local equivalence Run Tests #118: Commit 5148d26 pushed by SilverBrother
November 27, 2023 10:03 1m 34s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 27, 2023 10:03 1m 34s
Merge branch 'symboltable-clock-6' into Active_passive_clock_reduction-6 Run Tests #117: Commit f01efe4 pushed by AleksanderRDL
November 27, 2023 09:36 1m 35s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 27, 2023 09:36 1m 35s
Diabled CR for reachability queries. To avoid test issues in two cases Run Tests #116: Commit 08bc6e0 pushed by SilverBrother
November 27, 2023 09:28 1m 39s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 27, 2023 09:28 1m 39s
Changes by tordenguden emil Run Tests #115: Commit 500c548 pushed by SilverBrother
November 27, 2023 08:12 1m 24s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 27, 2023 08:12 1m 24s
Re-commit Run Tests #114: Commit 8e7c5e1 pushed by SilverBrother
November 27, 2023 07:53 1m 31s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 27, 2023 07:53 1m 31s
clippy Run Tests #113: Commit 030f3c2 pushed by Emilorzz
November 25, 2023 07:39 1m 9s clock-reduction-benchmarking-6
clock-reduction-benchmarking-6
November 25, 2023 07:39 1m 9s
added benchmarks for syntax and determinism Run Tests #112: Commit ca898ef pushed by Emilorzz
November 25, 2023 07:37 56s clock-reduction-benchmarking-6
clock-reduction-benchmarking-6
November 25, 2023 07:37 56s
restored initial query as comment Run Tests #111: Commit aacbf9f pushed by Emilorzz
November 24, 2023 17:35 1m 9s clock-reduction-benchmarking-6
clock-reduction-benchmarking-6
November 24, 2023 17:35 1m 9s
reformatted code to comply with new clippy lints Run Tests #110: Commit 7516cb0 pushed by Emilorzz
November 24, 2023 17:10 1m 7s clock-reduction-benchmarking-6
clock-reduction-benchmarking-6
November 24, 2023 17:10 1m 7s
cargo fmt Run Tests #109: Commit 26a4126 pushed by Emilorzz
November 24, 2023 15:32 1m 5s clock-reduction-benchmarking-6
clock-reduction-benchmarking-6
November 24, 2023 15:32 1m 5s
added benchmarks for more queryexpressions Run Tests #108: Commit 835c41f pushed by Emilorzz
November 24, 2023 15:22 2m 3s clock-reduction-benchmarking-6
clock-reduction-benchmarking-6
November 24, 2023 15:22 2m 3s
Merge branch 'benchmarking-6' of https://github.com/ECDAR-AAU-SW-P5/R… Run Tests #107: Commit 1f6151b pushed by Emilorzz
November 24, 2023 09:22 1m 29s benchmarking-6
benchmarking-6
November 24, 2023 09:22 1m 29s
Bug-fixes. fixed errors from component when building. Run Tests #106: Commit 45eda3d pushed by SilverBrother
November 23, 2023 14:16 1m 6s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 23, 2023 14:16 1m 6s
fixed tests and some minor bugs in new clock reduction Run Tests #105: Commit 399b176 pushed by Aavild
November 23, 2023 13:07 1m 17s symboltable-compiled-comp-6
symboltable-compiled-comp-6
November 23, 2023 13:07 1m 17s
Implemented clock_reduction in component loading Run Tests #104: Commit 1b6ff86 pushed by AleksanderRDL
November 23, 2023 12:54 48s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 23, 2023 12:54 48s
Merge branch 'benchmarking-6' of https://github.com/ECDAR-AAU-SW-P5/R… Run Tests #103: Commit bdcb6a5 pushed by Emilorzz
November 23, 2023 07:57 1m 16s benchmarking-6
benchmarking-6
November 23, 2023 07:57 1m 16s
Further progress on remove_redundant_clocks and associated functions Run Tests #102: Commit 71cdc93 pushed by AleksanderRDL
November 22, 2023 12:04 58s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 22, 2023 12:04 58s
fix Run Tests #101: Commit a82a496 pushed by AleksanderRDL
November 21, 2023 14:16 47s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 21, 2023 14:16 47s
Further progress on remove_redundant_clocks Run Tests #100: Commit 2865616 pushed by AleksanderRDL
November 21, 2023 14:14 46s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 21, 2023 14:14 46s
Completed logic for updating global equivalent clock groups and imple… Run Tests #99: Commit b872164 pushed by AleksanderRDL
November 21, 2023 11:08 46s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
November 21, 2023 11:08 46s
fixed imports and exceptions Run Tests #98: Commit 6d4251a pushed by Aavild
November 21, 2023 10:06 1m 26s symboltable-compiled-comp-6
symboltable-compiled-comp-6
November 21, 2023 10:06 1m 26s