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

OOPSLA Claims Check the Agda files #201: Pull request #57 opened by pmbittner
July 3, 2024 12:12 3m 58s oopsla-claims
oopsla-claims
July 3, 2024 12:12 3m 58s
Artifact Overview for OOPSLA Check the Agda files #200: Pull request #43 synchronize by pmbittner
July 3, 2024 11:36 2m 8s oopsla-overview
oopsla-overview
July 3, 2024 11:36 2m 8s
Artifact Overview for OOPSLA Check the Agda files #199: Pull request #43 synchronize by pmbittner
July 3, 2024 11:29 2m 19s oopsla-overview
oopsla-overview
July 3, 2024 11:29 2m 19s
Artifact Overview for OOPSLA Check the Agda files #198: Pull request #43 synchronize by pmbittner
July 3, 2024 11:21 2m 13s oopsla-overview
oopsla-overview
July 3, 2024 11:21 2m 13s
Sized warning Check the Agda files #197: Pull request #55 synchronize by pmbittner
July 3, 2024 11:15 2m 17s sized-warning
sized-warning
July 3, 2024 11:15 2m 17s
Artifact Overview for OOPSLA Check the Agda files #196: Pull request #43 synchronize by pmbittner
July 3, 2024 11:12 2m 12s oopsla-overview
oopsla-overview
July 3, 2024 11:12 2m 12s
Artifact Overview for OOPSLA Check the Agda files #195: Pull request #43 synchronize by pmbittner
July 3, 2024 11:12 2m 23s oopsla-overview
oopsla-overview
July 3, 2024 11:12 2m 23s
README: refactor description of running the demo Check the Agda files #194: Pull request #52 synchronize by AlexanderSchultheiss
July 3, 2024 11:04 2m 20s oopsla-demo-start
oopsla-demo-start
July 3, 2024 11:04 2m 20s
Readme submodule hint Check the Agda files #193: Pull request #53 synchronize by AlexanderSchultheiss
July 3, 2024 10:58 2m 22s readme-submodule-hint
readme-submodule-hint
July 3, 2024 10:58 2m 22s
Artifact Overview for OOPSLA Check the Agda files #192: Pull request #43 synchronize by pmbittner
July 3, 2024 09:26 2m 21s oopsla-overview
oopsla-overview
July 3, 2024 09:26 2m 21s
emojis for roundtrip sandwich Check the Agda files #191: Pull request #56 opened by pmbittner
July 3, 2024 09:19 3m 49s emojis
emojis
July 3, 2024 09:19 3m 49s
Artifact Overview for OOPSLA Check the Agda files #190: Pull request #43 synchronize by pmbittner
July 3, 2024 08:52 2m 5s oopsla-overview
oopsla-overview
July 3, 2024 08:52 2m 5s
Merge pull request #48 from pmbittner/remove-constructors Check the Agda files #189: Commit f497e3a pushed by pmbittner
July 3, 2024 08:51 2m 4s develop
develop
July 3, 2024 08:51 2m 4s
Sized warning Check the Agda files #188: Pull request #55 opened by pmbittner
July 3, 2024 08:49 4m 3s sized-warning
sized-warning
July 3, 2024 08:49 4m 3s
Remove constructors Check the Agda files #187: Pull request #48 synchronize by pmbittner
July 3, 2024 08:33 2m 8s remove-constructors
remove-constructors
July 3, 2024 08:33 2m 8s
Readme submodule hint Check the Agda files #186: Pull request #53 opened by AlexanderSchultheiss
July 3, 2024 07:37 4m 4s readme-submodule-hint
readme-submodule-hint
July 3, 2024 07:37 4m 4s
README: refactor description of running the demo Check the Agda files #185: Pull request #52 opened by AlexanderSchultheiss
July 3, 2024 06:15 3m 58s oopsla-demo-start
oopsla-demo-start
July 3, 2024 06:15 3m 58s
Artifact Overview for OOPSLA Check the Agda files #184: Pull request #43 synchronize by ibbem
July 2, 2024 21:45 3m 58s oopsla-overview
oopsla-overview
July 2, 2024 21:45 3m 58s
Artifact Overview for OOPSLA Check the Agda files #183: Pull request #43 synchronize by ibbem
July 2, 2024 21:06 2m 22s oopsla-overview
oopsla-overview
July 2, 2024 21:06 2m 22s
Artifact Overview for OOPSLA Check the Agda files #182: Pull request #43 synchronize by ibbem
July 2, 2024 20:48 2m 29s oopsla-overview
oopsla-overview
July 2, 2024 20:48 2m 29s
Artifact Overview for OOPSLA Check the Agda files #181: Pull request #43 synchronize by ibbem
July 2, 2024 20:16 2m 24s oopsla-overview
oopsla-overview
July 2, 2024 20:16 2m 24s
Artifact Overview for OOPSLA Check the Agda files #180: Pull request #43 synchronize by ibbem
July 2, 2024 19:00 2m 33s oopsla-overview
oopsla-overview
July 2, 2024 19:00 2m 33s
Artifact Overview for OOPSLA Check the Agda files #179: Pull request #43 synchronize by ibbem
July 2, 2024 14:59 4m 12s oopsla-overview
oopsla-overview
July 2, 2024 14:59 4m 12s
Remove constructors Check the Agda files #178: Pull request #48 synchronize by ibbem
July 2, 2024 10:59 2m 13s remove-constructors
remove-constructors
July 2, 2024 10:59 2m 13s
Artifact Overview for OOPSLA Check the Agda files #177: Pull request #43 synchronize by ibbem
July 2, 2024 10:28 2m 25s oopsla-overview
oopsla-overview
July 2, 2024 10:28 2m 25s