Build, Test, and Benchmark · Workflow runs · VitalyAnkh/agda · GitHub

Actions

Build, Test, and Benchmark

Actions

Loading...
Loading

54 workflow runs

54 workflow runs

Actor

Delete unused glue1 bindings (#7021) Build, Test, and Benchmark #302: Commit 2a0a3da pushed by VitalyAnkh

December 7, 2023 17:00

45m 12s master

master

December 7, 2023 17:00

45m 12s

Bump styfle/cancel-workflow-action from 0.11.0 to 0.12.0 Build, Test, and Benchmark #243: Pull request #146 opened by dependabot bot

October 9, 2023 18:22

1h 20m 4s dependabot/github_actions/styfle/cancel-workflow-action-0.12.0

dependabot/github_actions/styfle/cancel-workflow-action-0.12.0

October 9, 2023 18:22

1h 20m 4s

Bump actions/checkout from 3 to 4 Build, Test, and Benchmark #190: Pull request #145 opened by dependabot bot

September 4, 2023 18:25

1h 19m 20s dependabot/github_actions/actions/checkout-4

dependabot/github_actions/actions/checkout-4

September 4, 2023 18:25

1h 19m 20s

[pull] master from agda:master Build, Test, and Benchmark #106: Pull request #144 opened by pull bot

May 29, 2023 18:14

1h 22m 26s agda:master

agda:master

May 29, 2023 18:14

1h 22m 26s