Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow run results
64 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Choices translations Check the Agda files #51: Pull request #16 synchronize by ibbem
March 3, 2024 20:50 2m 8s choices-translations
choices-translations
March 3, 2024 20:50 2m 8s
Choices translations Check the Agda files #50: Pull request #16 synchronize by ibbem
March 3, 2024 20:44 2m 38s choices-translations
choices-translations
March 3, 2024 20:44 2m 38s
Choices translations Check the Agda files #49: Pull request #16 synchronize by pmbittner
February 28, 2024 16:04 2m 28s choices-translations
choices-translations
February 28, 2024 16:04 2m 28s
Choices translations Check the Agda files #48: Pull request #16 opened by ibbem
February 28, 2024 09:34 13m 45s choices-translations
choices-translations
February 28, 2024 09:34 13m 45s
completeness of CCC Check the Agda files #47: Commit ff43cdd pushed by pmbittner
February 15, 2024 21:41 1m 53s develop
develop
February 15, 2024 21:41 1m 53s
EqIndexedSet Check the Agda files #46: Commit 7071bd5 pushed by pmbittner
February 15, 2024 20:27 1m 45s develop
develop
February 15, 2024 20:27 1m 45s
hunt some setoids down Check the Agda files #45: Commit c01c1c9 pushed by pmbittner
February 15, 2024 18:40 1m 54s develop
develop
February 15, 2024 18:40 1m 54s
specialize FunctionLanguage away Check the Agda files #44: Commit cbd339b pushed by pmbittner
February 15, 2024 18:19 1m 52s develop
develop
February 15, 2024 18:19 1m 52s
Merge pull request #14 from pmbittner/wedding Check the Agda files #43: Commit 004faf8 pushed by pmbittner
February 15, 2024 14:53 13m 44s develop
develop
February 15, 2024 14:53 13m 44s
[Draft] Reintegrate Framework V2 into Framework V1 Check the Agda files #42: Pull request #14 synchronize by pmbittner
February 15, 2024 14:51 1m 53s wedding
wedding
February 15, 2024 14:51 1m 53s
[Draft] Reintegrate Framework V2 into Framework V1 Check the Agda files #41: Pull request #14 synchronize by pmbittner
February 15, 2024 14:21 13m 53s wedding
wedding
February 15, 2024 14:21 13m 53s
[Draft] Reintegrate Framework V2 into Framework V1 Check the Agda files #40: Pull request #14 synchronize by pmbittner
February 15, 2024 14:19 14m 1s wedding
wedding
February 15, 2024 14:19 14m 1s
[Draft] Reintegrate Framework V2 into Framework V1 Check the Agda files #39: Pull request #14 synchronize by pmbittner
February 6, 2024 14:43 14m 14s wedding
wedding
February 6, 2024 14:43 14m 14s
Merge pull request #15 from pmbittner/update-CI-cache-action Check the Agda files #38: Commit 0396be0 pushed by pmbittner
January 24, 2024 14:07 14m 41s develop
develop
January 24, 2024 14:07 14m 41s
Use the upstream version of the CI cache action Check the Agda files #37: Pull request #15 synchronize by ibbem
January 21, 2024 12:20 16m 45s update-CI-cache-action
update-CI-cache-action
January 21, 2024 12:20 16m 45s
Use the upstream version of the CI cache action Check the Agda files #36: Pull request #15 opened by ibbem
January 21, 2024 12:14 12s update-CI-cache-action
update-CI-cache-action
January 21, 2024 12:14 12s
Merge pull request #13 from pmbittner/funlang Check the Agda files #35: Commit 6dfd0e7 pushed by pmbittner
January 17, 2024 13:45 17m 32s develop
develop
January 17, 2024 13:45 17m 32s
[Draft] Reintegrate Framework V2 into Framework V1 Check the Agda files #34: Pull request #14 opened by pmbittner
December 6, 2023 19:06 16m 40s wedding
wedding
December 6, 2023 19:06 16m 40s
Abstract Variability and Configuration Languages as Function Languages Check the Agda files #33: Pull request #13 opened by pmbittner
November 24, 2023 08:57 2m 29s funlang
funlang
November 24, 2023 08:57 2m 29s
compilation fix Check the Agda files #32: Commit 74d722c pushed by pmbittner
November 20, 2023 13:16 2m 0s develop
develop
November 20, 2023 13:16 2m 0s
split variants file into defs and default langs Check the Agda files #31: Commit 0acf064 pushed by pmbittner
November 20, 2023 11:56 17m 42s develop
develop
November 20, 2023 11:56 17m 42s
Merge pull request #12 from pmbittner/benjamin/no-F Check the Agda files #30: Commit 3b58684 pushed by pmbittner
November 20, 2023 11:53 14m 8s develop
develop
November 20, 2023 11:53 14m 8s
Merge pull request #8 from pmbittner/benjamin-ci-testing Check the Agda files #29: Commit 234f75b pushed by pmbittner
November 20, 2023 11:52 14m 39s develop
develop
November 20, 2023 11:52 14m 39s
Remove the annotation language from VariabilityLanguage Check the Agda files #28: Pull request #12 opened by pmbittner
November 20, 2023 11:51 1m 24s benjamin/no-F
benjamin/no-F
November 20, 2023 11:51 1m 24s
Benjamin ci testing Check the Agda files #27: Pull request #8 synchronize by ibbem
November 20, 2023 11:27 2m 2s benjamin-ci-testing
benjamin-ci-testing
November 20, 2023 11:27 2m 2s