Skip to content

Actions: UPPAALModelChecker/uls

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge fix completion of members of anonymous structs (#13) Build and Test #34: Commit aa45c34 pushed by mikucionisaau
December 15, 2023 08:20 50s main
main
December 15, 2023 08:20 50s
Merge fix for variable suggestions inside automata labels (#12) Build and Test #33: Commit a465160 pushed by mikucionisaau
December 15, 2023 08:03 1m 41s main
main
December 15, 2023 08:03 1m 41s
Fixed autocomplete on anoymous types Build and Test #32: Pull request #13 opened by thorulf4
December 13, 2023 11:26 1m 44s thorulf4:fix_anonymous_structs
thorulf4:fix_anonymous_structs
December 13, 2023 11:26 1m 44s
Fixed issue with template variables not being visible in graph editor Build and Test #31: Pull request #12 opened by thorulf4
December 13, 2023 11:11 1m 41s thorulf4:fix_scope_issues
thorulf4:fix_scope_issues
December 13, 2023 11:11 1m 41s
Merge cmake-3.22 compatibility fixes (#9) Build and Test #30: Commit d105dee pushed by mikucionisaau
November 23, 2023 10:37 1m 18s main
main
November 23, 2023 10:37 1m 18s
Maintain cmake compatibility with ubuntu 22 Build and Test #29: Pull request #9 opened by thorulf4
November 21, 2023 10:33 1m 35s thorulf4:keep_cmake_compatibility
thorulf4:keep_cmake_compatibility
November 21, 2023 10:33 1m 35s
Build and Test Build and Test #28: Manually run by mikucionisaau
November 17, 2023 10:50 1m 2s main
main
November 17, 2023 10:50 1m 2s
Build and Test Build and Test #27: Manually run by mikucionisaau
November 17, 2023 10:46 1m 42s main
main
November 17, 2023 10:46 1m 42s
Build and Test Build and Test #26: Manually run by mikucionisaau
November 17, 2023 10:41 1m 47s ccache
ccache
November 17, 2023 10:41 1m 47s
Added the license text to the repository Build and Test #25: Pull request #6 opened by deistools
November 17, 2023 10:20 2m 23s add-license
add-license
November 17, 2023 10:20 2m 23s
Merge compliant json response messages PR #1 Build and Test #24: Commit 3162e1b pushed by mikucionisaau
November 14, 2023 07:14 2m 5s main
main
November 14, 2023 07:14 2m 5s
Changed Json to match Response refactor Build and Test #23: Pull request #1 synchronize by thorulf4
November 10, 2023 13:52 2m 27s uppaal_compliant_messages
uppaal_compliant_messages
November 10, 2023 13:52 2m 27s
Changed Json to match Response refactor Build and Test #22: Pull request #1 synchronize by thorulf4
November 7, 2023 15:07 2m 16s uppaal_compliant_messages
uppaal_compliant_messages
November 7, 2023 15:07 2m 16s
Merge option for werror and improved build scripts pr #4 from UPPAALM… Build and Test #21: Commit 7097e51 pushed by mikucionisaau
October 17, 2023 09:42 2m 11s main
main
October 17, 2023 09:42 2m 11s
Added compile.sh build script and toolchain files, made -Werror optional Build and Test #20: Pull request #4 synchronize by mikucionisaau
October 17, 2023 09:14 1m 54s fix-werror
fix-werror
October 17, 2023 09:14 1m 54s
Added compile.sh build script and toolchain files, made -Werror optional Build and Test #19: Pull request #4 synchronize by mikucionisaau
October 17, 2023 08:37 1m 49s fix-werror
fix-werror
October 17, 2023 08:37 1m 49s
Added compile.sh build script and toolchain files, made -Werror optional Build and Test #18: Pull request #4 synchronize by mikucionisaau
October 17, 2023 08:30 1m 54s fix-werror
fix-werror
October 17, 2023 08:30 1m 54s
Added compile.sh build script and toolchain files, made -Werror optional Build and Test #17: Pull request #4 opened by mikucionisaau
October 17, 2023 08:23 2m 7s fix-werror
fix-werror
October 17, 2023 08:23 2m 7s
Changed Json to match Response refactor Build and Test #16: Pull request #1 synchronize by thorulf4
October 13, 2023 07:25 1m 46s uppaal_compliant_messages
uppaal_compliant_messages
October 13, 2023 07:25 1m 46s
Merge pull request #2 from thorulf4/fix_find_process Build and Test #15: Commit 9d88419 pushed by thorulf4
October 11, 2023 11:53 2m 7s main
main
October 11, 2023 11:53 2m 7s
Fixed issue where template name would cause bad lookup Build and Test #14: Pull request #2 synchronize by thorulf4
October 11, 2023 11:50 2m 29s fix_find_process
fix_find_process
October 11, 2023 11:50 2m 29s
Merge pull request #3 from thorulf4/add_functions Build and Test #13: Commit 68ed6ad pushed by thorulf4
October 11, 2023 11:21 2m 4s main
main
October 11, 2023 11:21 2m 4s
Changed Json to match Response refactor Build and Test #12: Pull request #1 synchronize by thorulf4
October 9, 2023 12:15 1m 34s uppaal_compliant_messages
uppaal_compliant_messages
October 9, 2023 12:15 1m 34s
Changed Json to match Response refactor Build and Test #11: Pull request #1 synchronize by thorulf4
October 9, 2023 12:12 2m 19s uppaal_compliant_messages
uppaal_compliant_messages
October 9, 2023 12:12 2m 19s
Added built in functions to autocomplete Build and Test #10: Pull request #3 synchronize by thorulf4
October 9, 2023 12:07 2m 3s add_functions
add_functions
October 9, 2023 12:07 2m 3s