Skip to content

Actions: agda/agda-stdlib

Actions

Check whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
whitespace.yml
653 workflow run results
653 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deprecate Data.List.Relation.Unary.All.Properties.takeWhile⁻ Check whitespace #871: Pull request #2522 synchronize by jamesmckinna
14s jamesmckinna:refactor-all-properties
jamesmckinna:refactor-all-properties
14s
[ refactor ] Move Data.List.Relation.Unary.All.Properties.all⊆concat to Data.List.Relation.Binary.Sublist.Setoid.Properties Check whitespace #870: Pull request #2524 synchronize by jamesmckinna
13s jamesmckinna:issue2517
jamesmckinna:issue2517
13s
[ refactor ] Move Data.List.Relation.Unary.All.Properties.all⊆concat to Data.List.Relation.Binary.Sublist.Setoid.Properties Check whitespace #869: Pull request #2524 synchronize by jamesmckinna
14s jamesmckinna:issue2517
jamesmckinna:issue2517
14s
[ refactor ] Move Data.List.Relation.Unary.All.Properties.all⊆concat to Data.List.Relation.Binary.Sublist.Setoid.Properties Check whitespace #868: Pull request #2524 opened by jamesmckinna
14s jamesmckinna:issue2517
jamesmckinna:issue2517
14s
fixes #2520 (#2521) Check whitespace #867: Commit fc8f1a0 pushed by github-merge-queue bot
14s master
master
14s
Check whitespace Check whitespace #866: Merge group checks requested
14s
14s
Deprecate Data.List.Relation.Unary.All.Properties.takeWhile⁻ Check whitespace #865: Pull request #2522 synchronize by jamesmckinna
14s jamesmckinna:refactor-all-properties
jamesmckinna:refactor-all-properties
14s
[ refactor ] Change definition of Data.Nat.Base._≤′_ Check whitespace #864: Pull request #2523 opened by jamesmckinna
15s jamesmckinna:issue2519
jamesmckinna:issue2519
15s
Deprecate Data.List.Relation.Unary.All.Properties.takeWhile⁻ Check whitespace #863: Pull request #2522 synchronize by jamesmckinna
19s jamesmckinna:refactor-all-properties
jamesmckinna:refactor-all-properties
19s
[ refactor ] Change definition of Data.Nat.Base._≤‴_ Check whitespace #862: Pull request #2518 synchronize by jamesmckinna
13s jamesmckinna:issue2504
jamesmckinna:issue2504
13s
Deprecate Data.List.Relation.Unary.All.Properties.takeWhile⁻ Check whitespace #861: Pull request #2522 synchronize by jamesmckinna
16s jamesmckinna:refactor-all-properties
jamesmckinna:refactor-all-properties
16s
Deprecate Data.List.Relation.Unary.All.Properties.takeWhile⁻ Check whitespace #860: Pull request #2522 opened by jamesmckinna
18s jamesmckinna:refactor-all-properties
jamesmckinna:refactor-all-properties
18s
[ add ] Lemmas about takeWhile and dropWhile to Data.List.Unary.All.Properties Check whitespace #859: Pull request #2521 opened by jamesmckinna
14s jamesmckinna:issue2520
jamesmckinna:issue2520
14s
[ refactor ] Change definition of Data.Nat.Base._≤‴_ Check whitespace #858: Pull request #2518 synchronize by jamesmckinna
13s jamesmckinna:issue2504
jamesmckinna:issue2504
13s
[ refactor ] Change definition of Data.Nat.Base._≤‴_ Check whitespace #857: Pull request #2518 opened by jamesmckinna
14s jamesmckinna:issue2504
jamesmckinna:issue2504
14s
[ add ] lemma relating Propositional and Setoid versions of `Subl… Check whitespace #856: Commit bacd8a5 pushed by github-merge-queue bot
14s master
master
14s
Check whitespace Check whitespace #855: Merge group checks requested
16s
16s
[ add ] lemma relating Propositional and Setoid versions of Sublist Check whitespace #854: Pull request #2510 synchronize by jamesmckinna
19s jamesmckinna:mechvel-request
jamesmckinna:mechvel-request
19s
[ add ] lemma relating Propositional and Setoid versions of Sublist Check whitespace #853: Pull request #2510 synchronize by jamesmckinna
19s jamesmckinna:mechvel-request
jamesmckinna:mechvel-request
19s
[ add ] lemma relating Propositional and Setoid versions of Sublist Check whitespace #852: Pull request #2510 synchronize by jamesmckinna
14s jamesmckinna:mechvel-request
jamesmckinna:mechvel-request
14s
Mess around with IsSemiringWithoutOne reexports (#2499) Check whitespace #851: Commit d38e964 pushed by github-merge-queue bot
16s master
master
16s
Check whitespace Check whitespace #850: Merge group checks requested
19s
19s
[ add ] lemma relating Propositional and Setoid versions of Sublist Check whitespace #849: Pull request #2510 synchronize by jamesmckinna
13s jamesmckinna:mechvel-request
jamesmckinna:mechvel-request
13s
Rename homo to ∙-homo in Algebra.Morphism.Structures Check whitespace #848: Pull request #2464 synchronize by jamesmckinna
20s jamesmckinna:issue2458
jamesmckinna:issue2458
20s
Modular arithmetic based on Data.Nat.Bounded #2257 Check whitespace #847: Pull request #2292 synchronize by jamesmckinna
19s jamesmckinna:modular-arithmetic
jamesmckinna:modular-arithmetic
19s
ProTip! You can narrow down the results and go further in time using created:<2024-12-09 or the other filters available.