Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #621: by github-pages bot
1m 22s gh-pages
gh-pages
1m 22s
[ add ] BooleanRing plus Properties (#2763) Haskell-CI #2409: Commit dfa5b89 pushed by github-merge-queue bot
2m 51s master
master
2m 51s
[ add ] BooleanRing plus Properties (#2763) Ubuntu build #5102: Commit dfa5b89 pushed by github-merge-queue bot
28m 37s master
master
28m 37s
[ add ] BooleanRing plus Properties (#2763) Check whitespace #2063: Commit dfa5b89 pushed by github-merge-queue bot
13s master
master
13s
Ubuntu build Ubuntu build #5101: Merge group checks requested
28m 9s
28m 9s
Check whitespace Check whitespace #2062: Merge group checks requested
8s
8s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Ubuntu build #5100: Pull request #2801 synchronize by jamesmckinna
28m 9s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
28m 9s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Haskell-CI #2408: Pull request #2801 synchronize by jamesmckinna
2m 58s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
2m 58s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Check whitespace #2061: Pull request #2801 synchronize by jamesmckinna
10s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
10s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Ubuntu build #5099: Pull request #2801 synchronize by jamesmckinna
30m 13s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
30m 13s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Haskell-CI #2407: Pull request #2801 synchronize by jamesmckinna
2m 56s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
2m 56s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Check whitespace #2060: Pull request #2801 synchronize by jamesmckinna
12s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
12s
More shortening .github/workflows/joss-paper-ci.yml #104: Commit 9ba8ff5 pushed by MatthewDaggitt
48s v2.0-joss-submission
v2.0-joss-submission
48s
More shortening .github/workflows/joss-paper-ci.yml #103: Commit 196af9f pushed by MatthewDaggitt
54s v2.0-joss-submission
v2.0-joss-submission
54s
More shortening .github/workflows/joss-paper-ci.yml #102: Commit 9cb6502 pushed by MatthewDaggitt
54s v2.0-joss-submission
v2.0-joss-submission
54s
More shortening .github/workflows/joss-paper-ci.yml #101: Commit 0435c49 pushed by MatthewDaggitt
53s v2.0-joss-submission
v2.0-joss-submission
53s
pages build and deployment pages-build-deployment #620: by github-pages bot
1m 19s gh-pages
gh-pages
1m 19s
[ refactor ] Data.Fin.Properties following #2746 (#2782) Ubuntu build #5098: Commit e3e94c8 pushed by github-merge-queue bot
28m 32s master
master
28m 32s
[ refactor ] Data.Fin.Properties following #2746 (#2782) Haskell-CI #2406: Commit e3e94c8 pushed by github-merge-queue bot
2m 54s master
master
2m 54s
[ refactor ] Data.Fin.Properties following #2746 (#2782) Check whitespace #2059: Commit e3e94c8 pushed by github-merge-queue bot
11s master
master
11s
Added another missing DOI .github/workflows/joss-paper-ci.yml #100: Commit cdd5a00 pushed by MatthewDaggitt
59s v2.0-joss-submission
v2.0-joss-submission
59s
Added missing DOI .github/workflows/joss-paper-ci.yml #99: Commit bc9aac7 pushed by MatthewDaggitt
55s v2.0-joss-submission
v2.0-joss-submission
55s
Fixed Nathan's ORCID id .github/workflows/joss-paper-ci.yml #98: Commit 94b3b3e pushed by MatthewDaggitt
55s v2.0-joss-submission
v2.0-joss-submission
55s
Ubuntu build Ubuntu build #5097: Merge group checks requested
27m 41s
27m 41s
Check whitespace Check whitespace #2058: Merge group checks requested
10s
10s