8000 Workflow runs · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: agda/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,699 workflow runs
8,699 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New option --ghc-trace to instrument code with call trace Haddock #6053: Pull request #7986 synchronize by andreasabel
July 8, 2025 06:58 2m 56s ghc-trace
ghc-trace
July 8, 2025 06:58 2m 56s
New option --ghc-trace to instrument code with call trace Whitespace #9014: Pull request #7986 synchronize by andreasabel
July 8, 2025 06:58 25s ghc-trace
ghc-trace
July 8, 2025 06:58 25s
New option --ghc-trace to instrument code with call trace Install (v2-cabal) #2455: Pull request #7986 synchronize by andreasabel
July 8, 2025 06:58 4m 27s ghc-trace
ghc-trace
July 8, 2025 06:58 4m 27s
New option --ghc-trace to instrument code with call trace User Manual #2292: Pull request #7986 synchronize by andreasabel
July 8, 2025 06:58 7m 23s ghc-trace
ghc-trace
July 8, 2025 06:58 7m 23s
New option --ghc-trace to instrument code with call trace Build (cabal) #6583: Pull request #7986 synchronize by andreasabel
July 8, 2025 06:58 8m 13s ghc-trace
ghc-trace
July 8, 2025 06:58 8m 13s
New option --ghc-trace to instrument code with call trace Build, Test, and Benchmark #5199: Pull request #7986 synchronize by andreasabel
July 8, 2025 06:58 42m 25s ghc-trace
ghc-trace
July 8, 2025 06:58 42m 25s
New option --ghc-trace to instrument code with call trace Build, Test, and Benchmark #5198: Pull request #7986 opened by andreasabel
July 7, 2025 18:12 42m 39s ghc-trace
ghc-trace
July 7, 2025 18:12 42m 39s
New option --ghc-trace to instrument code with call trace Whitespace #9013: Pull request #7986 opened by andreasabel
July 7, 2025 18:12 21s ghc-trace
ghc-trace
July 7, 2025 18:12 21s
New option --ghc-trace to instrument code with call trace Build (cabal) #6582: Pull request #7986 opened by andreasabel
July 7, 2025 18:12 8m 32s ghc-trace
ghc-trace
July 7, 2025 18:12 8m 32s
New option --ghc-trace to instrument code with call trace Haddock #6052: Pull request #7986 opened by andreasabel
July 7, 2025 18:12 3m 14s ghc-trace
ghc-trace
July 7, 2025 18:12 3m 14s
New option --ghc-trace to instrument code with call trace User Manual #2291: Pull request #7986 opened by andreasabel
July 7, 2025 18:12 13m 43s ghc-trace
ghc-trace
July 7, 2025 18:12 13m 43s
New option --ghc-trace to instrument code with call trace Install (v2-cabal) #2454: Pull request #7986 opened by andreasabel
July 7, 2025 18:12 4m 45s ghc-trace
ghc-trace
July 7, 2025 18:12 4m 45s
github_actions in /. - Update #1047692882 Dependabot Updates #33: by dependabot bot
July 7, 2025 01:14 46s master
master
July 7, 2025 01:14 46s
Fix #7976: warning on REWRITE pragmas when --rewriting is off Haddock #6051: Pull request #7985 opened by andreasabel
July 6, 2025 13:17 2m 49s warning-rewrite-pragma
warning-rewrite-pragma
July 6, 2025 13:17 2m 49s
Fix #7976: warning on REWRITE pragmas when --rewriting is off Build, Test, and Benchmark #5197: Pull request #7985 opened by andreasabel
July 6, 2025 13:17 41m 57s warning-rewrite-pragma
warning-rewrite-pragma
July 6, 2025 13:17 41m 57s
Fix #7976: warning on REWRITE pragmas when --rewriting is off Whitespace #9012: Pull request #7985 opened by andreasabel
July 6, 2025 13:17 18s warning-rewrite-pragma
warning-rewrite-pragma
July 6, 2025 13:17 18s
Fix #7976: warning on REWRITE pragmas when --rewriting is off Build (cabal) #6581: Pull request #7985 opened by andreasabel
July 6, 2025 13:17 7m 37s warning-rewrite-pragma
warning-rewrite-pragma
July 6, 2025 13:17 7m 37s
Fix #7976: warning on REWRITE pragmas when --rewriting is off Install (v2-cabal) #2453: Pull request #7985 opened by andreasabel
July 6, 2025 13:17 4m 17s warning-rewrite-pragma
warning-rewrite-pragma
July 6, 2025 13:17 4m 17s
Deploy Deploy #1581: completed by andreasabel
July 6, 2025 08:55 33m 25s
July 6, 2025 08:55 33m 25s
Implement a --cubical-without-glue option Install (v2-cabal) #2452: Pull request #7861 synchronize by andreasabel
July 6, 2025 08:21 4m 33s SwampertX:no-glue
SwampertX:no-glue
July 6, 2025 08:21 4m 33s
Implement a --cubical-without-glue option Build (cabal) #6580: Pull request #7861 synchronize by andreasabel
July 6, 2025 08:21 8m 5s SwampertX:no-glue
SwampertX:no-glue
July 6, 2025 08:21 8m 5s
Implement a --cubical-without-glue option User Manual #2290: Pull request #7861 synchronize by andreasabel
July 6, 2025 08:21 8m 2s SwampertX:no-glue
SwampertX:no-glue
July 6, 2025 08:21 8m 2s
Implement a --cubical-without-glue option Haddock #6050: Pull request #7861 synchronize by andreasabel
July 6, 2025 08:21 3m 1s SwampertX:no-glue
SwampertX:no-glue
July 6, 2025 08:21 3m 1s
Implement a --cubical-without-glue option Build, Test, and Benchmark #5196: Pull request #7861 synchronize by andreasabel
July 6, 2025 08:21 43m 16s SwampertX:no-glue
SwampertX:no-glue
July 6, 2025 08:21 43m 16s
Implement a --cubical-without-glue option Whitespace #9011: Pull request #7861 synchronize by andreasabel
July 6, 2025 08:21 18s SwampertX:no-glue
SwampertX:no-glue
July 6, 2025 08:21 18s
0