Skip to content

Actions: VitalyAnkh/agda

Actions

Whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
whitespace.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[pull] master from agda:master Whitespace #539: Pull request #153 synchronize by andreasabel
August 19, 2024 15:10 Action required agda:master
agda:master
August 19, 2024 15:10 Action required
[pull] master from agda:master Whitespace #538: Pull request #153 synchronize by UlfNorell
August 19, 2024 08:24 Action required agda:master
agda:master
August 19, 2024 08:24 Action required
[pull] master from agda:master Whitespace #537: Pull request #153 synchronize by andreasabel
August 18, 2024 16:05 Action required agda:master
agda:master
August 18, 2024 16:05 Action required
[pull] master from agda:master Whitespace #536: Pull request #153 synchronize by andreasabel
August 16, 2024 16:06 Action required agda:master
agda:master
August 16, 2024 16:06 Action required
[pull] master from agda:master Whitespace #535: Pull request #153 synchronize by andreasabel
August 16, 2024 12:48 Action required agda:master
agda:master
August 16, 2024 12:48 Action required
[pull] master from agda:master Whitespace #534: Pull request #153 synchronize by andreasabel
August 16, 2024 11:45 Action required agda:master
agda:master
August 16, 2024 11:45 Action required
[pull] master from agda:master Whitespace #533: Pull request #153 synchronize by andreasabel
August 12, 2024 05:01 Action required agda:master
agda:master
August 12, 2024 05:01 Action required
[pull] master from agda:master Whitespace #532: Pull request #153 synchronize by andreasabel
August 12, 2024 04:50 Action required agda:master
agda:master
August 12, 2024 04:50 Action required
[pull] master from agda:master Whitespace #379: Pull request #153 opened by pull bot
March 8, 2024 17:09 36s agda:master
agda:master
March 8, 2024 17:09 36s
Forgot to update .github/workflows/deploy.yml Whitespace #378: Commit dee0d2e pushed by pull bot
March 7, 2024 18:54 29s master
master
March 7, 2024 18:54 29s
[pull] master from agda:master Whitespace #377: Pull request #152 opened by pull bot
March 7, 2024 09:54 27s agda:master
agda:master
March 7, 2024 09:54 27s
Citation instructions (#6444) Whitespace #376: Commit 7ad9543 pushed by VitalyAnkh
March 5, 2024 15:40 9m 1s master
master
March 5, 2024 15:40 9m 1s
Citation instructions (#6444) Whitespace #375: Commit 2748096 pushed by VitalyAnkh
March 5, 2024 15:40 30s master
master
March 5, 2024 15:40 30s
[pull] master from agda:master Whitespace #311: Pull request #151 opened by pull bot
January 2, 2024 02:01 26s agda:master
agda:master
January 2, 2024 02:01 26s
Recompute blocker in equalSort (#7039) Whitespace #310: Commit ea16c4c pushed by pull bot
December 23, 2023 07:30 22s master
master
December 23, 2023 07:30 22s
[pull] master from agda:master Whitespace #309: Pull request #150 opened by pull bot
December 22, 2023 09:38 26s agda:master
agda:master
December 22, 2023 09:38 26s
Break cross-module SCC 4 (#6897) Whitespace #308: Commit ee876ee pushed by pull bot
December 15, 2023 04:39 24s master
master
December 15, 2023 04:39 24s
[pull] master from agda:master Whitespace #307: Pull request #149 opened by pull bot
December 15, 2023 00:50 27s agda:master
agda:master
December 15, 2023 00:50 27s
[ fix #7029 ] Check that function does not have unsolved metas when w… Whitespace #306: Commit de7f503 pushed by pull bot
December 14, 2023 07:59 25s master
master
December 14, 2023 07:59 25s
[pull] master from agda:master Whitespace #305: Pull request #148 opened by pull bot
December 14, 2023 06:29 27s agda:master
agda:master
December 14, 2023 06:29 27s
issue7020: add note about compilation of irrelevant fields (#7026) Whitespace #304: Commit 8cf0bae pushed by pull bot
December 13, 2023 10:27 25s master
master
December 13, 2023 10:27 25s
[pull] master from agda:master Whitespace #303: Pull request #147 opened by pull bot
December 13, 2023 01:27 24s agda:master
agda:master
December 13, 2023 01:27 24s
Delete unused glue1 bindings (#7021) Whitespace #302: Commit 2a0a3da pushed by VitalyAnkh
December 7, 2023 17:00 26s master
master
December 7, 2023 17:00 26s
Bump styfle/cancel-workflow-action from 0.11.0 to 0.12.0 Whitespace #243: Pull request #146 opened by dependabot bot
October 9, 2023 18:22 28s 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 28s
Bump actions/checkout from 3 to 4 Whitespace #190: Pull request #145 opened by dependabot bot
September 4, 2023 18:25 34s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 18:25 34s