Skip to content

Actions: agda/agda-stdlib-meta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #63: by github-pages bot
May 13, 2025 11:26 39s gh-pages
gh-pages
May 13, 2025 11:26 39s
Import J from Tactic CI #79: Commit 57a5ae8 pushed by omelkonian
May 13, 2025 11:22 3m 56s master
master
May 13, 2025 11:22 3m 56s
Fixes broken imports in Tactic.J CI #78: Pull request #31 opened by carlostome
May 13, 2025 11:14 3m 54s carlostome:carlos/fix-imports
carlostome:carlos/fix-imports
May 13, 2025 11:14 3m 54s
Small changes required by the new monad polymorphsm CI #77: Pull request #30 opened by WhatisRT
April 14, 2025 13:30 2m 56s new-polymorphism
new-polymorphism
April 14, 2025 13:30 2m 56s
pages build and deployment pages-build-deployment #62: by github-pages bot
March 28, 2025 15:22 40s gh-pages
gh-pages
March 28, 2025 15:22 40s
Don't reexport Reflection.Syntax from Tactic.Inline CI #76: Commit 5ff8533 pushed by omelkonian
March 28, 2025 15:18 4m 4s master
master
March 28, 2025 15:18 4m 4s
Don't reexport Reflection.Syntax from Tactic.Inline CI #75: Pull request #28 opened by WhatisRT
March 28, 2025 12:52 4m 26s fix-public-export
fix-public-export
March 28, 2025 12:52 4m 26s
pages build and deployment pages-build-deployment #61: by github-pages bot
March 7, 2025 18:06 42s gh-pages
gh-pages
March 7, 2025 18:06 42s
Fix List.any import CI #74: Commit 8996a64 pushed by omelkonian
March 7, 2025 18:02 4m 7s master
master
March 7, 2025 18:02 4m 7s
Fix List.any import CI #73: Pull request #26 opened by omelkonian
March 7, 2025 17:55 4m 0s fix-v2.2
fix-v2.2
March 7, 2025 17:55 4m 0s
Bump to agda-2.7.0.1/stdlib-2.2 CI #72: Commit e900c5d pushed by omelkonian
March 7, 2025 11:32 3m 45s master
master
March 7, 2025 11:32 3m 45s
Bump to agda-2.7.0.1/stdlib-2.2 CI #71: Pull request #25 opened by omelkonian
March 7, 2025 11:20 4m 20s bump-agda
bump-agda
March 7, 2025 11:20 4m 20s
pages build and deployment pages-build-deployment #60: by github-pages bot
March 6, 2025 12:23 34s gh-pages
gh-pages
March 6, 2025 12:23 34s
Tactic: new inline macro CI #70: Commit 06c6605 pushed by omelkonian
March 6, 2025 12:22 1m 8s master
master
March 6, 2025 12:22 1m 8s
pages build and deployment pages-build-deployment #59: by github-pages bot
March 6, 2025 12:21 37s gh-pages
gh-pages
March 6, 2025 12:21 37s
Tactic: new inline macro CI #69: Pull request #24 synchronize by omelkonian
March 6, 2025 12:20 1m 1s orestis/inline-tactic
orestis/inline-tactic
March 6, 2025 12:20 1m 1s
pages build and deployment pages-build-deployment #58: by github-pages bot
March 6, 2025 12:20 50s gh-pages
gh-pages
March 6, 2025 12:20 50s
Tactic: new inline macro CI #68: Pull request #24 synchronize by omelkonian
March 6, 2025 12:19 1m 10s orestis/inline-tactic
orestis/inline-tactic
March 6, 2025 12:19 1m 10s
pages build and deployment pages-build-deployment #57: by github-pages bot
March 6, 2025 11:15 42s gh-pages
gh-pages
March 6, 2025 11:15 42s
Tactic: new inline macro CI #67: Pull request #24 opened by omelkonian
March 6, 2025 11:14 1m 6s orestis/inline-tactic
orestis/inline-tactic
March 6, 2025 11:14 1m 6s
pages build and deployment pages-build-deployment #56: by github-pages bot
March 5, 2025 10:46 38s gh-pages
gh-pages
March 5, 2025 10:46 38s
Add tests for autoHsType CI #66: Commit 69c3195 pushed by omelkonian
March 5, 2025 10:45 1m 4s master
master
March 5, 2025 10:45 1m 4s
pages build and deployment pages-build-deployment #55: by github-pages bot
March 5, 2025 10:45 40s gh-pages
gh-pages
March 5, 2025 10:45 40s
HsType additions CI #65: Pull request #23 opened by omelkonian
March 5, 2025 10:44 1m 10s upstream/hs-type-additions
upstream/hs-type-additions
March 5, 2025 10:44 1m 10s
pages build and deployment pages-build-deployment #54: by github-pages bot
March 5, 2025 10:26 44s gh-pages
gh-pages
March 5, 2025 10:26 44s