Skip to content

Actions: agda/agda-stdlib

Actions

Check whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
whitespace.yml
759 workflow runs
759 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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 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
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
Check whitespace Check whitespace #759: Merge group checks requested
October 18, 2024 15:05 22s
October 18, 2024 15:05 22s
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 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 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 Check whitespace #755: Pull request #2492 synchronize by jamesmckinna
October 7, 2024 12:01 14s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 7, 2024 12:01 14s
Add properties of Data.Refinement and refactor module structure Check whitespace #754: Pull request #2492 synchronize by jamesmckinna
October 7, 2024 08:56 14s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 7, 2024 08:56 14s
Fix type for ≡-syntax in heterogeneous equality (#2494) Check whitespace #753: Commit 4739d4a pushed by github-merge-queue bot
October 7, 2024 03:49 18s master
master
October 7, 2024 03:49 18s
Add (Is)DecPreorder to Relation.Binary.* (#2488) Check whitespace #752: Commit 6078b64 pushed by github-merge-queue bot
October 7, 2024 03:30 11s master
master
October 7, 2024 03:30 11s
[DRY] Refactor Data.List.Relation.Binary.Equality.Setoid exports (#… Check whitespace #751: Commit 22bfd05 pushed by github-merge-queue bot
October 7, 2024 03:13 12s master
master
October 7, 2024 03:13 12s
Check whitespace Check whitespace #750: Merge group checks requested
October 7, 2024 03:12 12s
October 7, 2024 03:12 12s
Check whitespace Check whitespace #749: Merge group checks requested
October 7, 2024 02:53 13s
October 7, 2024 02:53 13s
Check whitespace Check whitespace #748: Merge group checks requested
October 7, 2024 02:37 13s
October 7, 2024 02:37 13s
Fix type for ≡-syntax in heterogeneous equality Check whitespace #747: Pull request #2494 synchronize by ruifengx
October 5, 2024 19:20 14s ruifengx:master
ruifengx:master
October 5, 2024 19:20 14s
Fix type for ≡-syntax in heterogeneous equality Check whitespace #746: Pull request #2494 synchronize by ruifengx
October 5, 2024 12:21 13s ruifengx:master
ruifengx:master
October 5, 2024 12:21 13s
Fix type for ≡-syntax in heterogeneous equality Check whitespace #745: Pull request #2494 synchronize by ruifengx
October 5, 2024 09:34 19s ruifengx:master
ruifengx:master
October 5, 2024 09:34 19s
Add (Is)DecPreorder to Relation.Binary.* Check whitespace #743: Pull request #2488 synchronize by jamesmckinna
October 4, 2024 09:06 13s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
October 4, 2024 09:06 13s
Add properties of Data.Refinement and refactor module structure Check whitespace #742: Pull request #2492 opened by jamesmckinna
October 2, 2024 13:30 14s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 2, 2024 13:30 14s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #741: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 12:39 20s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 12:39 20s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #740: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 11:28 15s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 11:28 15s