Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #442: by github-pages bot
October 28, 2024 03:52 1m 18s
October 28, 2024 03:52 1m 18s
Add Relation.Nullary.Recomputable.irrelevant-recompute (#2497) Ubuntu build #3795: Commit 21bb954 pushed by github-merge-queue bot
October 28, 2024 02:59 53m 56s master
master
October 28, 2024 02:59 53m 56s
Add Relation.Nullary.Recomputable.irrelevant-recompute (#2497) Check whitespace #765: Commit 21bb954 pushed by github-merge-queue bot
October 28, 2024 02:59 18s master
master
October 28, 2024 02:59 18s
Check whitespace Check whitespace #764: Merge group checks requested
October 28, 2024 02:06 22s
October 28, 2024 02:06 22s
Haskell-CI Haskell-CI #1892: Merge group checks requested
October 28, 2024 02:06 3m 32s
October 28, 2024 02:06 3m 32s
Ubuntu build Ubuntu build #3794: Merge group checks requested
October 28, 2024 02:06 52m 1s
October 28, 2024 02:06 52m 1s
Add Relation.Nullary.Recomputable.irrelevant-recompute Check whitespace #763: Pull request #2497 synchronize by jamesmckinna
October 27, 2024 11:00 24s jamesmckinna:irrelevant-recomputable
jamesmckinna:irrelevant-recomputable
October 27, 2024 11:00 24s
Add Relation.Nullary.Recomputable.irrelevant-recompute Ubuntu build #3793: Pull request #2497 synchronize by jamesmckinna
October 27, 2024 11:00 51m 23s jamesmckinna:irrelevant-recomputable
jamesmckinna:irrelevant-recomputable
October 27, 2024 11:00 51m 23s
Add Relation.Nullary.Recomputable.irrelevant-recompute Check whitespace #762: Pull request #2497 opened by jamesmckinna
October 27, 2024 10:17 12s jamesmckinna:irrelevant-recomputable
jamesmckinna:irrelevant-recomputable
October 27, 2024 10:17 12s
Add Relation.Nullary.Recomputable.irrelevant-recompute Ubuntu build #3792: Pull request #2497 opened by jamesmckinna
October 27, 2024 10:17 15m 35s jamesmckinna:irrelevant-recomputable
jamesmckinna:irrelevant-recomputable
October 27, 2024 10:17 15m 35s
Add properties of Data.Refinement and refactor module structure Ubuntu build #3791: Pull request #2492 synchronize by jamesmckinna
October 18, 2024 17:43 38m 10s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 18, 2024 17:43 38m 10s
Add properties of Data.Refinement and refactor module structure Check whitespace #761: Pull request #2492 synchronize by jamesmckinna
October 18, 2024 17:43 15s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 18, 2024 17:43 15s
pages build and deployment pages-build-deployment #441: by github-pages bot
October 18, 2024 16:21 1m 32s
October 18, 2024 16:21 1m 32s
Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals (#2… Check whitespace #760: Commit c3c9f4f pushed by github-merge-queue bot
October 18, 2024 15:44 19s master
master
October 18, 2024 15:44 19s
Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals (#2… Ubuntu build #3790: Commit c3c9f4f pushed by github-merge-queue bot
October 18, 2024 15:44 37m 31s master
master
October 18, 2024 15:44 37m 31s
Ubuntu build Ubuntu build #3789: Merge group checks requested
October 18, 2024 15:05 38m 26s
October 18, 2024 15:05 38m 26s
Check whitespace Check whitespace #759: Merge group checks requested
October 18, 2024 15:05 22s
October 18, 2024 15:05 22s
Haskell-CI Haskell-CI #1891: Merge group checks requested
October 18, 2024 15:05 3m 52s
October 18, 2024 15:05 3m 52s
Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals Ubuntu build #3788: Pull request #2496 synchronize by Taneb
October 14, 2024 08:49 36m 15s rational-pos-op
rational-pos-op
October 14, 2024 08:49 36m 15s
Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals Check whitespace #758: Pull request #2496 synchronize by Taneb
October 14, 2024 08:49 20s rational-pos-op
rational-pos-op
October 14, 2024 08:49 20s
Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals Ubuntu build #3787: Pull request #2496 opened by Taneb
October 14, 2024 08:40 8m 14s rational-pos-op
rational-pos-op
October 14, 2024 08:40 8m 14s
Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals Check whitespace #757: Pull request #2496 opened by Taneb
October 14, 2024 08:40 18s rational-pos-op
rational-pos-op
October 14, 2024 08:40 18s
Add Raw bundles to Relation.Binary.* hierarchy Ubuntu build #3786: Pull request #2491 synchronize by jamesmckinna
October 7, 2024 17:33 38m 7s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 7, 2024 17:33 38m 7s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #756: Pull request #2491 synchronize by jamesmckinna
October 7, 2024 17:33 19s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 7, 2024 17:33 19s
Add properties of Data.Refinement and refactor module structure Ubuntu build #3785: Pull request #2492 synchronize by jamesmckinna
October 7, 2024 12:01 36m 13s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 7, 2024 12:01 36m 13s