Skip to content

Actions: agda/agda-stdlib-meta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Tactic.Derive: avoid pair-level decidable equality in genMutualHelpers (fixes deriving OOM) CI #112: Pull request #42 opened by williamdemeo
5m 15s williamdemeo:fix/genmutualhelpers-dedup-oom
williamdemeo:fix/genmutualhelpers-dedup-oom
5m 15s
pages build and deployment pages-build-deployment #69: by github-pages Bot
52s gh-pages
gh-pages
52s
A few more ring solver improvements (#41) CI #111: Commit 5690f32 pushed by WhatisRT
5m 53s master
master
5m 53s
A few more ring solver improvements CI #110: Pull request #41 opened by WhatisRT
2m 5s ring-solver
ring-solver
2m 5s
Add firstorder tactic CI #109: Pull request #40 opened by WhatisRT
2m 1s firstorder
firstorder
2m 1s
pages build and deployment pages-build-deployment #68: by github-pages Bot
36s gh-pages
gh-pages
36s
Fix one more edge case CI #108: Commit 2cfa1da pushed by omelkonian
5m 19s master
master
5m 19s
Add ring solver CI #107: Pull request #39 synchronize by WhatisRT
1m 37s ring-solver
ring-solver
1m 37s
Add ring solver CI #106: Pull request #39 synchronize by WhatisRT
1m 36s ring-solver
ring-solver
1m 36s
Add ring solver CI #105: Pull request #39 synchronize by WhatisRT
1m 31s ring-solver
ring-solver
1m 31s
Add ring solver CI #104: Pull request #39 synchronize by WhatisRT
1m 51s ring-solver
ring-solver
1m 51s
Add ring solver CI #103: Pull request #39 opened by WhatisRT
1m 54s ring-solver
ring-solver
1m 54s
pages build and deployment pages-build-deployment #67: by github-pages Bot
49s gh-pages
gh-pages
49s
CI: fix Agda installation CI #102: Commit 641fd41 pushed by omelkonian
5m 2s master
master
5m 2s
Improve deriving support for nested types CI #101: Pull request #38 synchronize by omelkonian
4m 19s andre/nested-mutual-deriving
andre/nested-mutual-deriving
4m 19s
Improve deriving support for nested types CI #100: Pull request #38 opened by WhatisRT
41s andre/nested-mutual-deriving
andre/nested-mutual-deriving
41s