Skip to content

Actions: agda/agda-stdlib-meta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 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
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
README: add versions for 2.8.0 CI #99: Pull request #37 opened by omelkonian
21m 24s readme-2.8.0
readme-2.8.0
21m 24s
pages build and deployment pages-build-deployment #66: by github-pages Bot
38s gh-pages
gh-pages
38s
Tactic.Derive.DecEq: faster variant CI #98: Commit d80dc70 pushed by omelkonian
21m 50s master
master
21m 50s
Tactic.Derive.DecEq: faster variant CI #97: Pull request #36 synchronize by omelkonian
21m 55s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
21m 55s
Tactic.Derive.DecEq: faster variant CI #96: Pull request #36 synchronize by omelkonian
17m 49s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
17m 49s
Tactic.Derive.DecEq: faster variant CI #95: Pull request #36 synchronize by omelkonian
17m 13s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
17m 13s
Bump to agda-2.8.0 CI #94: Commit cfac11f pushed by omelkonian
17m 13s master
master
17m 13s
Bump to agda-2.8.0 CI #93: Pull request #35 synchronize by omelkonian
17m 13s agda-v2.8.0
agda-v2.8.0
17m 13s
Bump to agda-2.8.0 CI #92: Pull request #35 synchronize by omelkonian
50s agda-v2.8.0
agda-v2.8.0
50s
Tactic.Derive.DecEq: faster variant CI #91: Pull request #36 opened by omelkonian
42s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
42s