Skip to content

Actions: MinaProtocol/mina

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,894 workflow runs
1,894 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] add nix check to CI Build nix #6: Pull request #13884 synchronize by dkijania
August 17, 2023 14:13 3m 12s dkijania/add_nix_to_ci
dkijania/add_nix_to_ci
August 17, 2023 14:13 3m 12s
disable shallow clone Build nix #5: Commit e9e28a0 pushed by dkijania
August 17, 2023 14:13 3m 26s dkijania/add_nix_to_ci
dkijania/add_nix_to_ci
August 17, 2023 14:13 3m 26s
go into mina Build nix #3: Commit 3d74379 pushed by dkijania
August 17, 2023 14:05 2m 58s dkijania/add_nix_to_ci
dkijania/add_nix_to_ci
August 17, 2023 14:05 2m 58s
[CI] add nix check to CI Build nix #2: Pull request #13884 synchronize by dkijania
August 17, 2023 13:54 2m 29s dkijania/add_nix_to_ci
dkijania/add_nix_to_ci
August 17, 2023 13:54 2m 29s
add nix github workflow Build nix #1: Commit fae5589 pushed by dkijania
August 17, 2023 13:54 2m 18s dkijania/add_nix_to_ci
dkijania/add_nix_to_ci
August 17, 2023 13:54 2m 18s
Stale issue handler Stale issue handler #658: Scheduled
August 17, 2023 00:02 1m 14s develop
develop
August 17, 2023 00:02 1m 14s
Stale issue handler Stale issue handler #657: Scheduled
August 16, 2023 00:02 1m 11s develop
develop
August 16, 2023 00:02 1m 11s
Stale issue handler Stale issue handler #656: Scheduled
August 15, 2023 00:01 1m 40s develop
develop
August 15, 2023 00:01 1m 40s
Stale issue handler Stale issue handler #655: Scheduled
August 14, 2023 00:02 1m 24s develop
develop
August 14, 2023 00:02 1m 24s
Stale issue handler Stale issue handler #654: Scheduled
August 13, 2023 00:01 1m 10s develop
develop
August 13, 2023 00:01 1m 10s
Stale issue handler Stale issue handler #653: Scheduled
August 12, 2023 00:02 49s develop
develop
August 12, 2023 00:02 49s
Stale issue handler Stale issue handler #652: Scheduled
August 11, 2023 00:01 2m 31s develop
develop
August 11, 2023 00:01 2m 31s
Stale issue handler Stale issue handler #651: Scheduled
August 10, 2023 00:02 1m 49s develop
develop
August 10, 2023 00:02 1m 49s
Stale issue handler Stale issue handler #650: Scheduled
August 9, 2023 00:02 1m 51s develop
develop
August 9, 2023 00:02 1m 51s
Stale issue handler Stale issue handler #649: Scheduled
August 8, 2023 00:02 1m 54s develop
develop
August 8, 2023 00:02 1m 54s
Stale issue handler Stale issue handler #648: Scheduled
August 7, 2023 00:02 22s develop
develop
August 7, 2023 00:02 22s
Stale issue handler Stale issue handler #647: Scheduled
August 6, 2023 00:02 26s develop
develop
August 6, 2023 00:02 26s
Stale issue handler Stale issue handler #646: Scheduled
August 5, 2023 00:01 24s develop
develop
August 5, 2023 00:01 24s
Stale issue handler Stale issue handler #645: Scheduled
August 4, 2023 00:02 1m 2s develop
develop
August 4, 2023 00:02 1m 2s
Stale issue handler Stale issue handler #644: Scheduled
August 3, 2023 00:02 1m 2s develop
develop
August 3, 2023 00:02 1m 2s
Stale issue handler Stale issue handler #643: Scheduled
August 2, 2023 00:02 1m 29s develop
develop
August 2, 2023 00:02 1m 29s
Stale issue handler Stale issue handler #642: Scheduled
August 1, 2023 00:02 1m 7s develop
develop
August 1, 2023 00:02 1m 7s
Stale issue handler Stale issue handler #641: Scheduled
July 31, 2023 00:02 1m 6s develop
develop
July 31, 2023 00:02 1m 6s
Stale issue handler Stale issue handler #640: Scheduled
July 30, 2023 00:02 34s develop
develop
July 30, 2023 00:02 34s
Stale issue handler Stale issue handler #639: Scheduled
July 29, 2023 00:02 21s develop
develop
July 29, 2023 00:02 21s
ProTip! You can narrow down the results and go further in time using created:<2023-07-29 or the other filters available.