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

Remove annotation language abstraction Check the Agda files #26: Pull request #11 synchronize by pmbittner
November 20, 2023 11:20 1m 29s no-F
no-F
November 20, 2023 11:20 1m 29s
Remove annotation language abstraction Check the Agda files #25: Pull request #11 opened by pmbittner
November 20, 2023 09:30 1m 28s no-F
no-F
November 20, 2023 09:30 1m 28s
flag issue [11] as future work Check the Agda files #24: Commit 2e91994 pushed by pmbittner
November 17, 2023 16:59 1m 44s develop
develop
November 17, 2023 16:59 1m 44s
Merge pull request #9 from pmbittner/artifact Check the Agda files #23: Commit 1ad1345 pushed by pmbittner
November 17, 2023 07:54 1m 46s develop
develop
November 17, 2023 07:54 1m 46s
Merge pull request #6 from pmbittner/reuse-NestedChoice Check the Agda files #22: Commit ed14030 pushed by pmbittner
November 16, 2023 11:43 1m 39s develop
develop
November 16, 2023 11:43 1m 39s
Merge pull request #7 from pmbittner/restrict-configs Check the Agda files #21: Commit 151dbd0 pushed by pmbittner
November 15, 2023 13:35 1m 42s develop
develop
November 15, 2023 13:35 1m 42s
Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) Check the Agda files #20: Pull request #7 synchronize by ibbem
November 15, 2023 11:33 1m 36s restrict-configs
restrict-configs
November 15, 2023 11:33 1m 36s
Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) Check the Agda files #19: Pull request #7 synchronize by ibbem
November 15, 2023 11:06 1m 28s restrict-configs
restrict-configs
November 15, 2023 11:06 1m 28s
Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) Check the Agda files #18: Pull request #7 synchronize by ibbem
November 15, 2023 11:00 1m 32s restrict-configs
restrict-configs
November 15, 2023 11:00 1m 32s
Merge pull request #10 from pmbittner/small-improvements Check the Agda files #17: Commit 65dd5a5 pushed by pmbittner
November 14, 2023 15:21 1m 42s develop
develop
November 14, 2023 15:21 1m 42s
Small improvements Check the Agda files #16: Pull request #10 opened by ibbem
November 14, 2023 12:33 1m 41s small-improvements
small-improvements
November 14, 2023 12:33 1m 41s
Benjamin ci testing Check the Agda files #15: Pull request #8 synchronize by ibbem
November 14, 2023 12:28 13m 55s benjamin-ci-testing
benjamin-ci-testing
November 14, 2023 12:28 13m 55s
Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) Check the Agda files #14: Pull request #7 synchronize by ibbem
November 14, 2023 12:13 2m 31s restrict-configs
restrict-configs
November 14, 2023 12:13 2m 31s
Artifacts as Constructors + BCC + CCC Check the Agda files #13: Pull request #9 opened by pmbittner
November 13, 2023 12:46 1m 30s artifact
artifact
November 13, 2023 12:46 1m 30s
Benjamin ci testing Check the Agda files #12: Pull request #8 synchronize by ibbem
November 11, 2023 18:56 13m 57s benjamin-ci-testing
benjamin-ci-testing
November 11, 2023 18:56 13m 57s
Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) Check the Agda files #11: Pull request #7 synchronize by ibbem
November 11, 2023 18:55 1m 24s restrict-configs
restrict-configs
November 11, 2023 18:55 1m 24s
Benjamin ci testing Check the Agda files #10: Pull request #8 synchronize by ibbem
November 11, 2023 15:53 16m 35s benjamin-ci-testing
benjamin-ci-testing
November 11, 2023 15:53 16m 35s
fixup! Show all errors and warnings in the GitHub UI Check the Agda files #9: Commit bee995b pushed by ibbem
November 11, 2023 15:53 1m 48s benjamin-ci-testing
benjamin-ci-testing
November 11, 2023 15:53 1m 48s
Benjamin ci testing Check the Agda files #8: Pull request #8 opened by ibbem
November 11, 2023 15:50 3m 22s benjamin-ci-testing
benjamin-ci-testing
November 11, 2023 15:50 3m 22s
Introduce some deliberate errors for testing Check the Agda files #7: Commit 170d9a7 pushed by ibbem
November 11, 2023 15:16 14m 24s benjamin-ci-testing
benjamin-ci-testing
November 11, 2023 15:16 14m 24s
Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) Check the Agda files #6: Pull request #7 opened by ibbem
November 10, 2023 21:11 1m 26s restrict-configs
restrict-configs
November 10, 2023 21:11 1m 26s
Proof that embedding NestedChoice as 2Choice preserves semantics Check the Agda files #5: Pull request #5 synchronize by ibbem
November 10, 2023 20:35 1m 41s embed-NestedChoice
embed-NestedChoice
November 10, 2023 20:35 1m 41s
Proof that embedding NestedChoice as 2Choice preserves semantics Check the Agda files #4: Pull request #5 synchronize by ibbem
November 8, 2023 14:04 1m 46s embed-NestedChoice
embed-NestedChoice
November 8, 2023 14:04 1m 46s
Merge pull request #4 from pmbittner/basic-ci Check the Agda files #3: Commit 5927b9d pushed by pmbittner
November 6, 2023 07:57 16m 13s develop
develop
November 6, 2023 07:57 16m 13s
Build the nix derivation in CI Check the Agda files #2: Pull request #4 synchronize by ibbem
November 4, 2023 22:47 1m 33s basic-ci
basic-ci
November 4, 2023 22:47 1m 33s