Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
314 workflow runs
314 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactoring the module structure of translations Check the Agda files #76: Pull request #21 opened by pmbittner
March 13, 2024 13:55 2m 7s loop-refactoring
loop-refactoring
March 13, 2024 13:55 2m 7s
Merge pull request #19 from pmbittner/2CC-to-2ADT Check the Agda files #75: Commit 5d7aa51 pushed by pmbittner
March 13, 2024 11:56 2m 0s develop
develop
March 13, 2024 11:56 2m 0s
Compile 2CC into 2ADT Check the Agda files #74: Pull request #19 synchronize by pmbittner
March 13, 2024 11:51 2m 13s 2CC-to-2ADT
2CC-to-2ADT
March 13, 2024 11:51 2m 13s
Merge pull request #18 from pmbittner/sound Check the Agda files #73: Commit b05448e pushed by pmbittner
March 13, 2024 11:51 1m 57s develop
develop
March 13, 2024 11:51 1m 57s
Compile 2CC into 2ADT Check the Agda files #72: Pull request #19 synchronize by pmbittner
March 13, 2024 11:49 2m 22s 2CC-to-2ADT
2CC-to-2ADT
March 13, 2024 11:49 2m 22s
2ADT -> VariantList Check the Agda files #71: Pull request #18 synchronize by pmbittner
March 13, 2024 11:48 2m 1s sound
sound
March 13, 2024 11:48 2m 1s
Compile 2CC into 2ADT Check the Agda files #70: Pull request #19 synchronize by pmbittner
March 13, 2024 11:13 2m 1s 2CC-to-2ADT
2CC-to-2ADT
March 13, 2024 11:13 2m 1s
2ADT -> VariantList Check the Agda files #69: Pull request #18 synchronize by pmbittner
March 13, 2024 11:11 2m 1s sound
sound
March 13, 2024 11:11 2m 1s
Merge pull request #16 from pmbittner/choices-translations Check the Agda files #68: Commit 81cf3ea pushed by pmbittner
March 13, 2024 10:44 2m 6s develop
develop
March 13, 2024 10:44 2m 6s
Compile 2CC into 2ADT Check the Agda files #67: Pull request #19 opened by ibbem
March 13, 2024 09:08 2m 2s 2CC-to-2ADT
2CC-to-2ADT
March 13, 2024 09:08 2m 2s
Choices translations Check the Agda files #66: Pull request #16 synchronize by ibbem
March 13, 2024 08:23 1m 55s choices-translations
choices-translations
March 13, 2024 08:23 1m 55s
2ADT -> VariantList Check the Agda files #65: Pull request #18 synchronize by pmbittner
March 12, 2024 16:27 1m 56s sound
sound
March 12, 2024 16:27 1m 56s
2ADT -> VariantList Check the Agda files #64: Pull request #18 synchronize by pmbittner
March 12, 2024 16:27 2m 4s sound
sound
March 12, 2024 16:27 2m 4s
2ADT -> VariantList Check the Agda files #63: Pull request #18 synchronize by pmbittner
March 12, 2024 16:21 2m 7s sound
sound
March 12, 2024 16:21 2m 7s
2ADT -> VariantList Check the Agda files #62: Pull request #18 synchronize by pmbittner
March 12, 2024 16:17 1m 55s sound
sound
March 12, 2024 16:17 1m 55s
2ADT -> VariantList Check the Agda files #61: Pull request #18 synchronize by pmbittner
March 12, 2024 16:11 1m 55s sound
sound
March 12, 2024 16:11 1m 55s
2ADT -> VariantList Check the Agda files #60: Pull request #18 synchronize by pmbittner
March 12, 2024 12:32 1m 42s sound
sound
March 12, 2024 12:32 1m 42s
disable lfs + remove deprecated taxonomy pic Check the Agda files #59: Commit d2bb465 pushed by pmbittner
March 12, 2024 12:30 1m 46s develop
develop
March 12, 2024 12:30 1m 46s
2ADT -> VariantList Check the Agda files #58: Pull request #18 synchronize by pmbittner
March 12, 2024 12:26 1m 54s sound
sound
March 12, 2024 12:26 1m 54s
2ADT -> VariantList Check the Agda files #57: Pull request #18 synchronize by pmbittner
March 12, 2024 12:25 1m 55s sound
sound
March 12, 2024 12:25 1m 55s
Choices translations Check the Agda files #56: Pull request #16 synchronize by ibbem
March 11, 2024 20:08 2m 3s choices-translations
choices-translations
March 11, 2024 20:08 2m 3s
2ADT -> VariantList Check the Agda files #55: Pull request #18 opened by pmbittner
March 11, 2024 19:52 20m 47s sound
sound
March 11, 2024 19:52 20m 47s
Merge pull request #17 from pmbittner/fix-CI Check the Agda files #54: Commit 7157053 pushed by pmbittner
March 11, 2024 19:50 12m 14s develop
develop
March 11, 2024 19:50 12m 14s
Fix CI Check the Agda files #53: Pull request #17 opened by ibbem
March 11, 2024 13:02 14m 48s fix-CI
fix-CI
March 11, 2024 13:02 14m 48s
Choices translations Check the Agda files #52: Pull request #16 synchronize by ibbem
March 10, 2024 23:44 1m 58s choices-translations
choices-translations
March 10, 2024 23:44 1m 58s
ProTip! You can narrow down the results and go further in time using created:<2024-03-10 or the other filters available.