Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Iinsertion sort and its properties. A bug in MergeSort.agda is fixed. Check whitespace #1667: Pull request #2723 opened by onestruggler
May 30, 2025 07:54 Action required onestruggler:insertionSort
onestruggler:insertionSort
May 30, 2025 07:54 Action required
Iinsertion sort and its properties. A bug in MergeSort.agda is fixed. Haskell-CI #2058: Pull request #2723 opened by onestruggler
May 30, 2025 07:54 Action required onestruggler:insertionSort
onestruggler:insertionSort
May 30, 2025 07:54 Action required
Iinsertion sort and its properties. A bug in MergeSort.agda is fixed. Ubuntu build #4699: Pull request #2723 opened by onestruggler
May 30, 2025 07:54 Action required onestruggler:insertionSort
onestruggler:insertionSort
May 30, 2025 07:54 Action required
[ add ] product structure on RawSetoid Haskell-CI #2057: Pull request #2720 synchronize by jamesmckinna
May 29, 2025 05:45 6m 56s jamesmckinna:rel-product
jamesmckinna:rel-product
May 29, 2025 05:45 6m 56s
[ add ] product structure on RawSetoid Check whitespace #1666: Pull request #2720 synchronize by jamesmckinna
May 29, 2025 05:45 11s jamesmckinna:rel-product
jamesmckinna:rel-product
May 29, 2025 05:45 11s
[ add ] product structure on RawSetoid Ubuntu build #4698: Pull request #2720 synchronize by jamesmckinna
May 29, 2025 05:45 38m 40s jamesmckinna:rel-product
jamesmckinna:rel-product
May 29, 2025 05:45 38m 40s
Results from working session .github/workflows/joss-paper-ci.yml #87: Commit c857d01 pushed by MatthewDaggitt
May 27, 2025 14:51 58s v2.0-joss-submission
v2.0-joss-submission
May 27, 2025 14:51 58s
Tweak to trigger rebuild .github/workflows/joss-paper-ci.yml #86: Commit 17c95de pushed by MatthewDaggitt
May 27, 2025 13:14 1m 7s v2.0-joss-submission
v2.0-joss-submission
May 27, 2025 13:14 1m 7s
pages build and deployment pages-build-deployment #575: by github-pages bot
May 27, 2025 10:31 1m 29s gh-pages
gh-pages
May 27, 2025 10:31 1m 29s
pages build and deployment pages-build-deployment #574: by github-pages bot
May 27, 2025 10:28 1m 24s gh-pages
gh-pages
May 27, 2025 10:28 1m 24s
docs: proof-reading the tutorial (#2636) Ubuntu build #4697: Commit ac6571b pushed by github-merge-queue bot
May 27, 2025 09:50 40m 45s master
master
May 27, 2025 09:50 40m 45s
docs: proof-reading the tutorial (#2636) Check whitespace #1665: Commit ac6571b pushed by github-merge-queue bot
May 27, 2025 09:50 16s master
master
May 27, 2025 09:50 16s
docs: proof-reading the tutorial (#2636) Haskell-CI #2056: Commit ac6571b pushed by github-merge-queue bot
May 27, 2025 09:50 15m 2s master
master
May 27, 2025 09:50 15m 2s
Superset relation on Data.Fin.Subsets (#2719) Ubuntu build #4696: Commit 7735b82 pushed by github-merge-queue bot
May 27, 2025 09:49 38m 59s master
master
May 27, 2025 09:49 38m 59s
Superset relation on Data.Fin.Subsets (#2719) Haskell-CI #2055: Commit 7735b82 pushed by github-merge-queue bot
May 27, 2025 09:49 2m 55s master
master
May 27, 2025 09:49 2m 55s
Superset relation on Data.Fin.Subsets (#2719) Check whitespace #1664: Commit 7735b82 pushed by github-merge-queue bot
May 27, 2025 09:49 12s master
master
May 27, 2025 09:49 12s
[ add ] product structure on RawSetoid Haskell-CI #2054: Pull request #2720 synchronize by jamesmckinna
May 27, 2025 09:35 2m 58s jamesmckinna:rel-product
jamesmckinna:rel-product
May 27, 2025 09:35 2m 58s
[ add ] product structure on RawSetoid Ubuntu build #4695: Pull request #2720 synchronize by jamesmckinna
May 27, 2025 09:35 41m 30s jamesmckinna:rel-product
jamesmckinna:rel-product
May 27, 2025 09:35 41m 30s
[ add ] product structure on RawSetoid Check whitespace #1663: Pull request #2720 synchronize by jamesmckinna
May 27, 2025 09:35 11s jamesmckinna:rel-product
jamesmckinna:rel-product
May 27, 2025 09:35 11s
Ubuntu build Ubuntu build #4694: Merge group checks requested
May 27, 2025 09:11 38m 45s
May 27, 2025 09:11 38m 45s
Check whitespace Check whitespace #1662: Merge group checks requested
May 27, 2025 09:11 14s
May 27, 2025 09:11 14s
Ubuntu build Ubuntu build #4693: Merge group checks requested
May 27, 2025 09:10 38m 23s
May 27, 2025 09:10 38m 23s
Check whitespace Check whitespace #1661: Merge group checks requested
May 27, 2025 09:10 11s
May 27, 2025 09:10 11s
[ add ] Relation.Binary.Properties.PartialSetoid Check whitespace #1660: Pull request #2678 synchronize by jamesmckinna
May 27, 2025 08:00 3m 2s jamesmckinna:per-consequences
jamesmckinna:per-consequences
May 27, 2025 08:00 3m 2s
[ add ] Relation.Binary.Properties.PartialSetoid Ubuntu build #4692: Pull request #2678 synchronize by jamesmckinna
May 27, 2025 08:00 42m 8s jamesmckinna:per-consequences
jamesmckinna:per-consequences
May 27, 2025 08:00 42m 8s