Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] rename ∣∣ to ∥, ∤∤ to ∦ throughout Algebra.Definitions.RawMagma and Algebra.Properties.*.Divisibility Check whitespace #991: Pull request #2562 synchronize by jamesmckinna
January 23, 2025 11:50 13s jamesmckinna:issue2551
jamesmckinna:issue2551
January 23, 2025 11:50 13s
[ refactor ] rename ∣∣ to ∥, ∤∤ to ∦ throughout Algebra.Definitions.RawMagma and Algebra.Properties.*.Divisibility Ubuntu build #4022: Pull request #2562 opened by jamesmckinna
January 23, 2025 10:16 39m 9s jamesmckinna:issue2551
jamesmckinna:issue2551
January 23, 2025 10:16 39m 9s
[ refactor ] rename ∣∣ to ∥, ∤∤ to ∦ throughout Algebra.Definitions.RawMagma and Algebra.Properties.*.Divisibility Check whitespace #990: Pull request #2562 opened by jamesmckinna
January 23, 2025 10:16 14s jamesmckinna:issue2551
jamesmckinna:issue2551
January 23, 2025 10:16 14s
[ refactor ] Add Data.Bool.ListAction Ubuntu build #4021: Pull request #2561 synchronize by jamesmckinna
January 23, 2025 08:41 38m 23s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 23, 2025 08:41 38m 23s
[ refactor ] Add Data.Bool.ListAction Check whitespace #989: Pull request #2561 synchronize by jamesmckinna
January 23, 2025 08:41 16s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 23, 2025 08:41 16s
[ refactor ] Add Data.Nat.ListAction Ubuntu build #4020: Pull request #2558 synchronize by jamesmckinna
January 23, 2025 08:22 38m 49s jamesmckinna:issue2553
jamesmckinna:issue2553
January 23, 2025 08:22 38m 49s
[ refactor ] Add Data.Nat.ListAction Check whitespace #988: Pull request #2558 synchronize by jamesmckinna
January 23, 2025 08:22 11s jamesmckinna:issue2553
jamesmckinna:issue2553
January 23, 2025 08:22 11s
[ refactor ] Add Data.Nat.ListAction Ubuntu build #4019: Pull request #2558 synchronize by jamesmckinna
January 23, 2025 08:20 32s jamesmckinna:issue2553
jamesmckinna:issue2553
January 23, 2025 08:20 32s
[ refactor ] Add Data.Nat.ListAction Check whitespace #987: Pull request #2558 synchronize by jamesmckinna
January 23, 2025 08:20 15s jamesmckinna:issue2553
jamesmckinna:issue2553
January 23, 2025 08:20 15s
[ refactor ] Add Data.Bool.ListAction Ubuntu build #4018: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 13:06 38m 42s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 13:06 38m 42s
[ refactor ] Add Data.Bool.ListAction Check whitespace #986: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 13:06 16s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 13:06 16s
[ refactor ] Add Data.Bool.ListAction Ubuntu build #4017: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:55 17m 44s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:55 17m 44s
[ refactor ] Add Data.Bool.ListAction Check whitespace #985: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:55 15s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:55 15s
[ refactor ] Add Data.Bool.ListAction Check whitespace #984: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:32 15s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:32 15s
[ refactor ] Add Data.Bool.ListAction Ubuntu build #4016: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:32 16m 9s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:32 16m 9s
[ refactor ] Add Data.Bool.ListAction Ubuntu build #4015: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:25 1m 35s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:25 1m 35s
[ refactor ] Add Data.Bool.ListAction Check whitespace #983: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:25 14s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:25 14s
[ refactor ] Add Data.Bool.ListAction Ubuntu build #4014: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:18 1m 0s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:18 1m 0s
[ refactor ] Add Data.Bool.ListAction Check whitespace #982: Pull request #2561 synchronize by jamesmckinna
January 22, 2025 11:18 11s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:18 11s
[ refactor ] Add Data.Bool.ListAction Check whitespace #981: Pull request #2561 opened by jamesmckinna
January 22, 2025 11:12 14s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:12 14s
[ refactor ] Add Data.Bool.ListAction Ubuntu build #4013: Pull request #2561 opened by jamesmckinna
January 22, 2025 11:12 2m 36s jamesmckinna:issue2553-bool
jamesmckinna:issue2553-bool
January 22, 2025 11:12 2m 36s
[ refactor ] Add Data.Nat.ListAction Check whitespace #980: Pull request #2558 synchronize by jamesmckinna
January 22, 2025 10:37 16s jamesmckinna:issue2553
jamesmckinna:issue2553
January 22, 2025 10:37 16s
[ refactor ] Add Data.Nat.ListAction Ubuntu build #4012: Pull request #2558 synchronize by jamesmckinna
January 22, 2025 10:37 40m 0s jamesmckinna:issue2553
jamesmckinna:issue2553
January 22, 2025 10:37 40m 0s
Real numbers, based on Cauchy sequences Ubuntu build #4011: Pull request #2487 synchronize by Taneb
January 21, 2025 13:33 38m 24s Taneb:reals
Taneb:reals
January 21, 2025 13:33 38m 24s
Real numbers, based on Cauchy sequences Check whitespace #979: Pull request #2487 synchronize by Taneb
January 21, 2025 13:33 17s Taneb:reals
Taneb:reals
January 21, 2025 13:33 17s