Skip to content

Actions: VitalyAnkh/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
558 workflow runs
558 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
[pull] master from agda:master Build, Test, and Benchmark #521: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master Install (v2-cabal) #487: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master Whitespace #521: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master Stack check snapshots #472: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master Build (stack) #492: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master Build (cabal) #511: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master Haddock #510: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master User Manual #500: Pull request #153 synchronize by andreasabel
August 1, 2024 07:27 Action required agda:master
agda:master
August 1, 2024 07:27 Action required
[pull] master from agda:master Install (v2-cabal) #486: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 Action required agda:master
agda:master
July 31, 2024 18:02 Action required
[pull] master from agda:master Build (cabal) #510: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 Action required agda:master
agda:master
July 31, 2024 18:02 Action required
[pull] master from agda:master Whitespace #520: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 Action required agda:master
agda:master
July 31, 2024 18:02 Action required
[pull] master from agda:master User Manual #499: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 Action required agda:master
agda:master
July 31, 2024 18:02 Action required
[pull] master from agda:master Build, Test, and Benchmark #520: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 Action required agda:master
agda:master
July 31, 2024 18:02 Action required
[pull] master from agda:master Haddock #509: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 Action required agda:master
agda:master
July 31, 2024 18:02 Action required
[pull] master from agda:master Build (stack) #491: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 -1s agda:master
agda:master
July 31, 2024 18:02 -1s
[pull] master from agda:master Stack check snapshots #471: Pull request #153 synchronize by andreasabel
July 31, 2024 18:02 -1s agda:master
agda:master
July 31, 2024 18:02 -1s
[pull] master from agda:master Stack check snapshots #470: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master Install (v2-cabal) #485: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master Build (cabal) #509: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master Build, Test, and Benchmark #519: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master User Manual #498: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master Whitespace #519: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master Build (stack) #490: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master Haddock #508: Pull request #153 synchronize by andreasabel
July 30, 2024 16:22 Action required agda:master
agda:master
July 30, 2024 16:22 Action required
[pull] master from agda:master Build (cabal) #508: Pull request #153 synchronize by andreasabel
July 30, 2024 16:14 Action required agda:master
agda:master
July 30, 2024 16:14 Action required