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

Build the nix derivation in CI Check the Agda files #1: Pull request #4 synchronize by ibbem
November 4, 2023 22:32 13m 30s basic-ci
basic-ci
November 4, 2023 22:32 13m 30s
Build the nix derivation in CI Build the nix derivation #13: Pull request #4 synchronize by ibbem
November 4, 2023 21:57 1m 15s basic-ci
basic-ci
November 4, 2023 21:57 1m 15s
Build the nix derivation in CI Build the nix derivation #12: Pull request #4 synchronize by ibbem
November 4, 2023 21:53 1m 28s basic-ci
basic-ci
November 4, 2023 21:53 1m 28s
Build the nix derivation in CI Build the nix derivation #11: Pull request #4 synchronize by ibbem
November 4, 2023 21:29 17m 15s basic-ci
basic-ci
November 4, 2023 21:29 17m 15s
Build the nix derivation in CI Build the nix derivation #10: Pull request #4 synchronize by ibbem
November 4, 2023 21:06 11m 44s basic-ci
basic-ci
November 4, 2023 21:06 11m 44s
Build the nix derivation in CI Build the nix derivation #9: Pull request #4 synchronize by ibbem
November 4, 2023 19:10 2m 48s basic-ci
basic-ci
November 4, 2023 19:10 2m 48s
Build the nix derivation in CI Build the nix derivation #8: Pull request #4 synchronize by ibbem
November 4, 2023 18:54 14m 33s basic-ci
basic-ci
November 4, 2023 18:54 14m 33s
Build the nix derivation in CI Build the nix derivation #7: Pull request #4 synchronize by ibbem
November 4, 2023 18:01 17m 45s basic-ci
basic-ci
November 4, 2023 18:01 17m 45s
Build the nix derivation in CI Build the nix derivation #6: Pull request #4 synchronize by ibbem
November 4, 2023 17:42 14m 57s basic-ci
basic-ci
November 4, 2023 17:42 14m 57s
Build the nix derivation in CI Build the nix derivation #5: Pull request #4 synchronize by ibbem
October 31, 2023 15:04 20m 9s basic-ci
basic-ci
October 31, 2023 15:04 20m 9s
Build the nix derivation in CI Build the nix derivation #4: Pull request #4 synchronize by ibbem
October 31, 2023 14:46 17m 48s basic-ci
basic-ci
October 31, 2023 14:46 17m 48s
Build the nix derivation in CI Build the nix derivation #3: Pull request #4 synchronize by ibbem
October 31, 2023 13:51 15m 23s basic-ci
basic-ci
October 31, 2023 13:51 15m 23s
Build the nix derivation in CI Build the nix derivation #2: Pull request #4 synchronize by ibbem
October 31, 2023 12:35 16m 42s basic-ci
basic-ci
October 31, 2023 12:35 16m 42s
Build the nix derivation in CI Build the nix derivation #1: Pull request #4 opened by ibbem
October 31, 2023 12:13 14m 42s basic-ci
basic-ci
October 31, 2023 12:13 14m 42s