Skip to content

Actions: ECDAR-AAU-SW-P5/Reveaal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
632 workflow runs
632 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test to make sure unused clocks are removed correct Run Tests #206: Commit d931436 pushed by AleksanderRDL
December 14, 2023 14:30 1m 28s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
December 14, 2023 14:30 1m 28s
Test to make sure unused clocks are removed correct Build Artifacts #211: Commit d931436 pushed by AleksanderRDL
December 14, 2023 14:30 3m 28s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
December 14, 2023 14:30 3m 28s
updated get_clock_count method to count unique clock indices Run Tests #205: Commit 0b37d9c pushed by Emilorzz
December 14, 2023 14:26 1m 24s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
December 14, 2023 14:26 1m 24s
updated get_clock_count method to count unique clock indices Check formatting #205: Commit 0b37d9c pushed by Emilorzz
December 14, 2023 14:26 58s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
December 14, 2023 14:26 58s
updated get_clock_count method to count unique clock indices Build Artifacts #210: Commit 0b37d9c pushed by Emilorzz
December 14, 2023 14:26 3m 46s Active_passive_clock_reduction-6
Active_passive_clock_reduction-6
December 14, 2023 14:26 3m 46s
Clock tests Check formatting #204: Commit f8fc87e pushed by frederikja163
December 14, 2023 10:12 52s benchmarks-6
benchmarks-6
December 14, 2023 10:12 52s
Clock tests Run Tests #204: Commit f8fc87e pushed by frederikja163
December 14, 2023 10:12 3m 54s benchmarks-6
benchmarks-6
December 14, 2023 10:12 3m 54s
Clock tests Build Artifacts #209: Commit f8fc87e pushed by frederikja163
December 14, 2023 10:12 4m 17s benchmarks-6
benchmarks-6
December 14, 2023 10:12 4m 17s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Run Tests #203: Commit 3bce81e pushed by Aavild
December 13, 2023 18:00 4m 26s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 4m 26s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Build Artifacts #208: Commit 3bce81e pushed by Aavild
December 13, 2023 18:00 7m 16s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 7m 16s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Check formatting #203: Commit 3bce81e pushed by Aavild
December 13, 2023 18:00 3m 20s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 3m 20s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Build Artifacts #207: Commit 38e06ed pushed by Aavild
December 13, 2023 18:00 7m 49s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 7m 49s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Run Tests #202: Commit 38e06ed pushed by Aavild
December 13, 2023 18:00 3m 42s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 3m 42s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Check formatting #202: Commit 38e06ed pushed by Aavild
December 13, 2023 18:00 3m 11s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 3m 11s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Build Artifacts #206: Commit 3a95f4d pushed by Aavild
December 13, 2023 18:00 6m 0s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 6m 0s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Check formatting #201: Commit 3a95f4d pushed by Aavild
December 13, 2023 18:00 3m 17s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 3m 17s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Run Tests #201: Commit 3a95f4d pushed by Aavild
December 13, 2023 18:00 3m 33s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 18:00 3m 33s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Check formatting #200: Commit 3fb9eb9 pushed by Aavild
December 13, 2023 17:59 2m 49s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 2m 49s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Build Artifacts #205: Commit 3fb9eb9 pushed by Aavild
December 13, 2023 17:59 6m 32s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 6m 32s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Run Tests #200: Commit 3fb9eb9 pushed by Aavild
December 13, 2023 17:59 3m 29s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 3m 29s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Run Tests #199: Commit 0c4f422 pushed by Aavild
December 13, 2023 17:59 3m 1s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 3m 1s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Check formatting #199: Commit 0c4f422 pushed by Aavild
December 13, 2023 17:59 2m 29s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 2m 29s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Build Artifacts #204: Commit 0c4f422 pushed by Aavild
December 13, 2023 17:59 5m 5s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 5m 5s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Check formatting #198: Commit 3d26a52 pushed by Aavild
December 13, 2023 17:59 2m 27s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 2m 27s
Update src/transition_systems/clock_reduction/clock_analysis_graph.rs Run Tests #198: Commit 3d26a52 pushed by Aavild
December 13, 2023 17:59 2m 50s symboltable-compiled-comp-6
symboltable-compiled-comp-6
December 13, 2023 17:59 2m 50s