Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,964 workflow runs
3,964 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] generalise inclusion between Propositional permutation, and arbitrary Setoid-based version on same carrier Ubuntu build #4667: Pull request #2709 opened by jamesmckinna
April 24, 2025 18:22 38m 26s jamesmckinna:issue2708
jamesmckinna:issue2708
April 24, 2025 18:22 38m 26s
[ refactor ] generalise inclusion between Propositional permutation, and arbitrary Setoid-based version on same carrier Check whitespace #1635: Pull request #2709 opened by jamesmckinna
April 24, 2025 18:22 9s jamesmckinna:issue2708
jamesmckinna:issue2708
April 24, 2025 18:22 9s
pages build and deployment pages-build-deployment #571: by github-pages bot
April 23, 2025 08:45 6m 38s gh-pages
gh-pages
April 23, 2025 08:45 6m 38s
[ add ] obvious lemma about self-contradiction to `Relation.Nullary.N… Check whitespace #1634: Commit 6d018a3 pushed by github-merge-queue bot
April 23, 2025 08:06 9s master
master
April 23, 2025 08:06 9s
[ add ] obvious lemma about self-contradiction to `Relation.Nullary.N… Ubuntu build #4666: Commit 6d018a3 pushed by github-merge-queue bot
April 23, 2025 08:06 39m 18s master
master
April 23, 2025 08:06 39m 18s
Haskell-CI Haskell-CI #2033: Merge group checks requested
April 23, 2025 07:26 2s
April 23, 2025 07:26 2s
Ubuntu build Ubuntu build #4665: Merge group checks requested
April 23, 2025 07:26 38m 44s
April 23, 2025 07:26 38m 44s
Check whitespace Check whitespace #1633: Merge group checks requested
April 23, 2025 07:26 10s
April 23, 2025 07:26 10s
[Add] Consequences of identity for monoids Check whitespace #1632: Pull request #2692 synchronize by JacquesCarette
April 21, 2025 17:30 9s jmougeot:monoid-reasoning
jmougeot:monoid-reasoning
April 21, 2025 17:30 9s
[Add] Consequences of identity for monoids Ubuntu build #4664: Pull request #2692 synchronize by JacquesCarette
April 21, 2025 17:30 38m 18s jmougeot:monoid-reasoning
jmougeot:monoid-reasoning
April 21, 2025 17:30 38m 18s
[Add] Consequences of identity for monoids Ubuntu build #4663: Pull request #2692 synchronize by JacquesCarette
April 21, 2025 17:30 38m 47s jmougeot:monoid-reasoning
jmougeot:monoid-reasoning
April 21, 2025 17:30 38m 47s
[Add] Consequences of identity for monoids Check whitespace #1631: Pull request #2692 synchronize by JacquesCarette
April 21, 2025 17:30 11s jmougeot:monoid-reasoning
jmougeot:monoid-reasoning
April 21, 2025 17:30 11s
pages build and deployment pages-build-deployment #570: by github-pages bot
April 21, 2025 09:32 1m 29s gh-pages
gh-pages
April 21, 2025 09:32 1m 29s
[add] Update PartialSetoid reasoning (#2689) Ubuntu build #4662: Commit 3880dec pushed by github-merge-queue bot
April 21, 2025 08:54 38m 2s master
master
April 21, 2025 08:54 38m 2s
[add] Update PartialSetoid reasoning (#2689) Check whitespace #1630: Commit 3880dec pushed by github-merge-queue bot
April 21, 2025 08:54 11s master
master
April 21, 2025 08:54 11s
Ubuntu build Ubuntu build #4661: Merge group checks requested
April 21, 2025 08:17 36m 38s
April 21, 2025 08:17 36m 38s
Haskell-CI Haskell-CI #2032: Merge group checks requested
April 21, 2025 08:17 1s
April 21, 2025 08:17 1s
Check whitespace Check whitespace #1629: Merge group checks requested
April 21, 2025 08:17 11s
April 21, 2025 08:17 11s
[add] Update PartialSetoid reasoning Check whitespace #1628: Pull request #2689 synchronize by Ailrun
April 20, 2025 02:06 11s Ailrun:pr-proper-partial
Ailrun:pr-proper-partial
April 20, 2025 02:06 11s
[add] Update PartialSetoid reasoning Ubuntu build #4660: Pull request #2689 synchronize by Ailrun
April 20, 2025 02:06 37m 21s Ailrun:pr-proper-partial
Ailrun:pr-proper-partial
April 20, 2025 02:06 37m 21s
pages build and deployment pages-build-deployment #569: by github-pages bot
April 18, 2025 14:29 1m 24s gh-pages
gh-pages
April 18, 2025 14:29 1m 24s
Add/fix RightInverse for dependent products (#2706) Check whitespace #1627: Commit 8b8946a pushed by github-merge-queue bot
April 18, 2025 13:50 13s master
master
April 18, 2025 13:50 13s
Add/fix RightInverse for dependent products (#2706) Ubuntu build #4659: Commit 8b8946a pushed by github-merge-queue bot
April 18, 2025 13:50 38m 12s master
master
April 18, 2025 13:50 38m 12s
Ubuntu build Ubuntu build #4658: Merge group checks requested
April 18, 2025 13:12 37m 59s
April 18, 2025 13:12 37m 59s
Haskell-CI Haskell-CI #2031: Merge group checks requested
April 18, 2025 13:12 2s
April 18, 2025 13:12 2s