Skip to content

Actions: n7space/sdl2promela

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added support for 'power' in SDL with mechanism to support other capa… Workflow #327: Pull request #107 opened by rphh
September 12, 2024 09:03 22m 42s feature-n7s-tmcc#656-power-builtin-function
feature-n7s-tmcc#656-power-builtin-function
September 12, 2024 09:03 22m 42s
Extended implementation of 'to_enum' builtin, support for explicit en… Workflow #326: Pull request #106 synchronize by rphh
August 29, 2024 09:40 22m 38s feature-n7s-tmcc#639-to-enum-with-explicit-values
feature-n7s-tmcc#639-to-enum-with-explicit-values
August 29, 2024 09:40 22m 38s
Extended implementation of 'to_enum' builtin, support for explicit en… Workflow #325: Pull request #106 opened by rphh
August 29, 2024 08:36 22m 58s feature-n7s-tmcc#639-to-enum-with-explicit-values
feature-n7s-tmcc#639-to-enum-with-explicit-values
August 29, 2024 08:36 22m 58s
Feature n7s tmcc#639 fixes Workflow #324: Pull request #105 synchronize by rphh
August 26, 2024 11:33 22m 29s feature-n7s-tmcc#639-fixes
feature-n7s-tmcc#639-fixes
August 26, 2024 11:33 22m 29s
Feature n7s tmcc#639 fixes Workflow #323: Pull request #105 synchronize by rphh
August 26, 2024 08:42 23m 39s feature-n7s-tmcc#639-fixes
feature-n7s-tmcc#639-fixes
August 26, 2024 08:42 23m 39s
Feature n7s tmcc#639 fixes Workflow #322: Pull request #105 opened by rphh
August 15, 2024 10:43 23m 24s feature-n7s-tmcc#639-fixes
feature-n7s-tmcc#639-fixes
August 15, 2024 10:43 23m 24s
Feature n7s tmcc#639 integration tests update Workflow #321: Pull request #104 synchronize by rphh
August 14, 2024 15:17 22m 45s feature-n7s-tmcc#639-integration-tests-update
feature-n7s-tmcc#639-integration-tests-update
August 14, 2024 15:17 22m 45s
Feature n7s tmcc#639 integration tests update Workflow #320: Pull request #104 opened by rphh
August 14, 2024 14:45 2m 39s feature-n7s-tmcc#639-integration-tests-update
feature-n7s-tmcc#639-integration-tests-update
August 14, 2024 14:45 2m 39s
Fixes, check_queue name and assign_value name for choices Workflow #319: Pull request #103 synchronize by rphh
July 10, 2024 17:43 20m 47s feature-n7s-tmcc#559-fixes
feature-n7s-tmcc#559-fixes
July 10, 2024 17:43 20m 47s
Fixes, check_queue name and assign_value name for choices Workflow #318: Pull request #103 opened by rphh
July 10, 2024 16:00 21m 26s feature-n7s-tmcc#559-fixes
feature-n7s-tmcc#559-fixes
July 10, 2024 16:00 21m 26s
Feature n7s tmcc#521 support for append Workflow #317: Pull request #102 synchronize by rphh
June 12, 2024 10:42 21m 4s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 12, 2024 10:42 21m 4s
Feature n7s tmcc#521 support for append Workflow #316: Pull request #102 synchronize by rphh
June 12, 2024 10:40 21m 7s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 12, 2024 10:40 21m 7s
Feature n7s tmcc#521 support for append Workflow #315: Pull request #102 synchronize by rphh
June 12, 2024 10:25 1m 59s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 12, 2024 10:25 1m 59s
Feature n7s tmcc#521 support for append Workflow #314: Pull request #102 synchronize by rphh
June 12, 2024 10:21 2m 8s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 12, 2024 10:21 2m 8s
Feature n7s tmcc#521 support for append Workflow #313: Pull request #102 synchronize by rphh
June 11, 2024 13:37 20m 59s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 11, 2024 13:37 20m 59s
Feature n7s tmcc#521 support for append Workflow #312: Pull request #102 synchronize by rphh
June 11, 2024 13:18 1m 59s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 11, 2024 13:18 1m 59s
Feature n7s tmcc#521 support for append Workflow #311: Pull request #102 synchronize by rphh
June 11, 2024 12:25 1m 50s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 11, 2024 12:25 1m 50s
Feature n7s tmcc#521 support for append Workflow #310: Pull request #102 opened by rphh
June 10, 2024 19:15 21m 40s feature-n7s-tmcc#521-support-for-append
feature-n7s-tmcc#521-support-for-append
June 10, 2024 19:15 21m 40s
Addes support for conditional compilation - alternative, with tests Workflow #309: Pull request #101 opened by rphh
June 7, 2024 09:37 21m 48s feature-n7s-tmcc#521-support-for-alternative
feature-n7s-tmcc#521-support-for-alternative
June 7, 2024 09:37 21m 48s
Method str.removeprefix changed to str slice to support python older … Workflow #308: Pull request #100 opened by rphh
May 23, 2024 10:58 21m 20s feature-n7s-tmcc#534-fix-for-older-python
feature-n7s-tmcc#534-fix-for-older-python
May 23, 2024 10:58 21m 20s
Feature n7s tmcc#534 sequence separator Workflow #307: Pull request #99 synchronize by rphh
May 23, 2024 08:49 20m 56s feature-n7s-tmcc#534-sequence-separator
feature-n7s-tmcc#534-sequence-separator
May 23, 2024 08:49 20m 56s
Feature n7s tmcc#534 sequence separator Workflow #306: Pull request #99 synchronize by rphh
May 22, 2024 09:01 6h 0m 13s feature-n7s-tmcc#534-sequence-separator
feature-n7s-tmcc#534-sequence-separator
May 22, 2024 09:01 6h 0m 13s
Feature n7s tmcc#534 sequence separator Workflow #305: Pull request #99 opened by rphh
May 21, 2024 08:28 45m 53s feature-n7s-tmcc#534-sequence-separator
feature-n7s-tmcc#534-sequence-separator
May 21, 2024 08:28 45m 53s
Fixed translation of assignment to empty sequence type Workflow #304: Pull request #98 opened by rphh
April 30, 2024 12:14 17m 26s feature-n7s-tmcc#524-fix-empty-sequence-assignment
feature-n7s-tmcc#524-fix-empty-sequence-assignment
April 30, 2024 12:14 17m 26s
Fixes, misspelling, wrong boolean operators, etc. Workflow #303: Pull request #97 synchronize by rphh
September 21, 2023 17:42 25m 35s feature-n7s-tmcc-fixes
feature-n7s-tmcc-fixes
September 21, 2023 17:42 25m 35s