Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
pages build and deployment pages-build-deployment #475: by github-pages bot
January 19, 2025 18:41 1m 20s gh-pages
gh-pages
January 19, 2025 18:41 1m 20s
Add a few algebraic structures missing from the Algebra.Construct.Poi… Ubuntu build #4010: Commit 908e015 pushed by github-merge-queue bot
January 19, 2025 18:02 39m 41s master
master
January 19, 2025 18:02 39m 41s
Add a few algebraic structures missing from the Algebra.Construct.Poi… Check whitespace #978: Commit 908e015 pushed by github-merge-queue bot
January 19, 2025 18:02 11s master
master
January 19, 2025 18:02 11s
Ubuntu build Ubuntu build #4009: Merge group checks requested
January 19, 2025 17:22 38m 55s
January 19, 2025 17:22 38m 55s