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,698 workflow runs
8,698 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 In progress ghc-trace
ghc-trace
July 7, 2025 18:12 In progress
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
pages build and deployment pages-build-deployment #829: by github-pages bot
July 6, 2025 08:18 39s gh-pages
gh-pages
July 6, 2025 08:18 39s
Clear previous termination status before running termination checker Whitespace #9010: Commit 4c6865f pushed by andreasabel
July 6, 2025 08:15 24s master
master
July 6, 2025 08:15 24s
Clear previous termination status before running termination checker Build (cabal) #6579: Commit 4c6865f pushed by andreasabel
July 6, 2025 08:15 7m 55s master
master
July 6, 2025 08:15 7m 55s
Clear previous termination status before running termination checker Haddock #6049: Commit 4c6865f pushed by andreasabel
July 6, 2025 08:15 2m 58s master
master
July 6, 2025 08:15 2m 58s
Clear previous termination status before running termination checker Install (v2-cabal) #2451: Commit 4c6865f pushed by andreasabel
July 6, 2025 08:15 4m 38s master
master
July 6, 2025 08:15 4m 38s
Clear previous termination status before running termination checker Build, Test, and Benchmark #5195: Commit 4c6865f pushed by andreasabel
July 6, 2025 08:15 40m 51s master
master
July 6, 2025 08:15 40m 51s
0