Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #669: by github-pages bot
1m 28s gh-pages
gh-pages
1m 28s
pages build and deployment pages-build-deployment #668: by github-pages bot
1m 34s gh-pages
gh-pages
1m 34s
[ add ] Bool-valued strict inequality to Data.Integer.Base, Data.Rational.Base etc. Ubuntu build #5473: Pull request #2949 synchronize by jamesmckinna
43m 15s jamesmckinna:issue2948
jamesmckinna:issue2948
43m 15s
[ add ] Bool-valued strict inequality to Data.Integer.Base, Data.Rational.Base etc. Haskell-CI #2704: Pull request #2949 synchronize by jamesmckinna
2m 59s jamesmckinna:issue2948
jamesmckinna:issue2948
2m 59s
[ add ] Bool-valued strict inequality to Data.Integer.Base, Data.Rational.Base etc. Check whitespace #2412: Pull request #2949 synchronize by jamesmckinna
10s jamesmckinna:issue2948
jamesmckinna:issue2948
10s
[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrel… Haskell-CI #2703: Commit 92b3269 pushed by github-merge-queue bot
2m 50s master
master
2m 50s
[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrel… Check whitespace #2411: Commit 92b3269 pushed by github-merge-queue bot
16s master
master
16s
[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrel… Ubuntu build #5472: Commit 92b3269 pushed by github-merge-queue bot
43m 32s master
master
43m 32s
Added function to show Rational at a decimal precision (#2945) Haskell-CI #2702: Commit 12b1d16 pushed by github-merge-queue bot
3m 13s master
master
3m 13s
Added function to show Rational at a decimal precision (#2945) Ubuntu build #5471: Commit 12b1d16 pushed by github-merge-queue bot
43m 31s master
master
43m 31s
Added function to show Rational at a decimal precision (#2945) Check whitespace #2410: Commit 12b1d16 pushed by github-merge-queue bot
11s master
master
11s
[ add ] Bool-valued strict inequality to Data.Integer.Base, Data.Rational.Base etc. Haskell-CI #2701: Pull request #2949 opened by jamesmckinna
2m 52s jamesmckinna:issue2948
jamesmckinna:issue2948
2m 52s
[ add ] Bool-valued strict inequality to Data.Integer.Base, Data.Rational.Base etc. Ubuntu build #5470: Pull request #2949 opened by jamesmckinna
38m 35s jamesmckinna:issue2948
jamesmckinna:issue2948
38m 35s
[ add ] Bool-valued strict inequality to Data.Integer.Base, Data.Rational.Base etc. Check whitespace #2409: Pull request #2949 opened by jamesmckinna
11s jamesmckinna:issue2948
jamesmckinna:issue2948
11s
Check whitespace Check whitespace #2408: Merge group checks requested
8s
8s
Ubuntu build Ubuntu build #5469: Merge group checks requested
43m 55s
43m 55s
Ubuntu build Ubuntu build #5468: Merge group checks requested
44m 20s
44m 20s
Check whitespace Check whitespace #2407: Merge group checks requested
10s
10s
pages build and deployment pages-build-deployment #667: by github-pages bot
1m 27s gh-pages
gh-pages
1m 27s
[ add ] ¬[x≢x] contradiction from irrelevant irreflexive propositio… Check whitespace #2406: Commit 44f7df3 pushed by github-merge-queue bot
10s master
master
10s
[ add ] ¬[x≢x] contradiction from irrelevant irreflexive propositio… Haskell-CI #2700: Commit 44f7df3 pushed by github-merge-queue bot
3m 14s master
master
3m 14s
[ add ] ¬[x≢x] contradiction from irrelevant irreflexive propositio… Ubuntu build #5467: Commit 44f7df3 pushed by github-merge-queue bot
43m 35s master
master
43m 35s
Ubuntu build Ubuntu build #5466: Merge group checks requested
41m 58s
41m 58s
Check whitespace Check whitespace #2405: Merge group checks requested
8s
8s
Added function to show Rational at a decimal precision Ubuntu build #5465: Pull request #2945 synchronize by aortega0703
43m 3s aortega0703:rationals_decimal_expansion
aortega0703:rationals_decimal_expansion
43m 3s