Skip to content

Actions: VitalyAnkh/agda

Actions

Build (cabal)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal.yml
50 workflow runs
50 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
[pull] master from agda:master Build (cabal) #468: Pull request #153 synchronize by andreasabel
July 8, 2024 11:53 Action required agda:master
agda:master
July 8, 2024 11:53 Action required
[pull] master from agda:master Build (cabal) #467: Pull request #153 synchronize by andreasabel
July 8, 2024 07:16 Action required agda:master
agda:master
July 8, 2024 07:16 Action required
[pull] master from agda:master Build (cabal) #466: Pull request #153 synchronize by andreasabel
July 7, 2024 19:57 Action required agda:master
agda:master
July 7, 2024 19:57 Action required
[pull] master from agda:master Build (cabal) #465: Pull request #153 synchronize by andreasabel
July 7, 2024 17:42 Action required agda:master
agda:master
July 7, 2024 17:42 Action required
[pull] master from agda:master Build (cabal) #464: Pull request #153 synchronize by andreasabel
July 7, 2024 15:33 Action required agda:master
agda:master
July 7, 2024 15:33 Action required
[pull] master from agda:master Build (cabal) #463: Pull request #153 synchronize by jespercockx
July 7, 2024 12:22 Action required agda:master
agda:master
July 7, 2024 12:22 Action required
[pull] master from agda:master Build (cabal) #462: Pull request #153 synchronize by jespercockx
July 7, 2024 12:21 Action required agda:master
agda:master
July 7, 2024 12:21 Action required
[pull] master from agda:master Build (cabal) #461: Pull request #153 synchronize by jespercockx
July 6, 2024 16:43 Action required agda:master
agda:master
July 6, 2024 16:43 Action required
[pull] master from agda:master Build (cabal) #460: Pull request #153 synchronize by jespercockx
July 6, 2024 16:43 Action required agda:master
agda:master
July 6, 2024 16:43 Action required
[pull] master from agda:master Build (cabal) #459: Pull request #153 synchronize by andreasabel
July 5, 2024 18:51 Action required agda:master
agda:master
July 5, 2024 18:51 Action required
[pull] master from agda:master Build (cabal) #458: Pull request #153 synchronize by andreasabel
July 5, 2024 17:37 Action required agda:master
agda:master
July 5, 2024 17:37 Action required
[pull] master from agda:master Build (cabal) #457: Pull request #153 synchronize by UlfNorell
June 27, 2024 15:34 Action required agda:master
agda:master
June 27, 2024 15:34 Action required
[pull] master from agda:master Build (cabal) #456: Pull request #153 synchronize by UlfNorell
June 27, 2024 09:26 Action required agda:master
agda:master
June 27, 2024 09:26 Action required
[pull] master from agda:master Build (cabal) #455: Pull request #153 synchronize by andreasabel
June 26, 2024 18:33 Action required agda:master
agda:master
June 26, 2024 18:33 Action required
[pull] master from agda:master Build (cabal) #454: Pull request #153 synchronize by andreasabel
June 26, 2024 18:32 Action required agda:master
agda:master
June 26, 2024 18:32 Action required
[pull] master from agda:master Build (cabal) #453: Pull request #153 synchronize by UlfNorell
June 25, 2024 17:33 Action required agda:master
agda:master
June 25, 2024 17:33 Action required
[pull] master from agda:master Build (cabal) #452: Pull request #153 synchronize by UlfNorell
June 25, 2024 15:43 Action required agda:master
agda:master
June 25, 2024 15:43 Action required
[pull] master from agda:master Build (cabal) #451: Pull request #153 synchronize by UlfNorell
June 25, 2024 11:42 Action required agda:master
agda:master
June 25, 2024 11:42 Action required
[pull] master from agda:master Build (cabal) #450: Pull request #153 synchronize by UlfNorell
June 24, 2024 12:35 Action required agda:master
agda:master
June 24, 2024 12:35 Action required
[pull] master from agda:master Build (cabal) #449: Pull request #153 synchronize by andreasabel
June 24, 2024 05:05 Action required agda:master
agda:master
June 24, 2024 05:05 Action required
[pull] master from agda:master Build (cabal) #448: Pull request #153 synchronize by plt-amy
June 23, 2024 15:06 Action required agda:master
agda:master
June 23, 2024 15:06 Action required
[pull] master from agda:master Build (cabal) #447: Pull request #153 synchronize by andreasabel
June 22, 2024 18:10 Action required agda:master
agda:master
June 22, 2024 18:10 Action required
[pull] master from agda:master Build (cabal) #446: Pull request #153 synchronize by andreasabel
June 15, 2024 03:53 Action required agda:master
agda:master
June 15, 2024 03:53 Action required
[pull] master from agda:master Build (cabal) #445: Pull request #153 synchronize by andreasabel
June 14, 2024 20:56 Action required agda:master
agda:master
June 14, 2024 20:56 Action required
[pull] master from agda:master Build (cabal) #444: Pull request #153 synchronize by andreasabel
June 14, 2024 20:54 Action required agda:master
agda:master
June 14, 2024 20:54 Action required