Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Ubuntu build #4568: Pull request #2683 synchronize by jamesmckinna
March 21, 2025 14:42 38m 34s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 21, 2025 14:42 38m 34s
[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Check whitespace #1536: Pull request #2683 synchronize by jamesmckinna
March 21, 2025 14:42 11s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 21, 2025 14:42 11s
[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Ubuntu build #4567: Pull request #2683 synchronize by jamesmckinna
March 21, 2025 14:41 38m 47s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 21, 2025 14:41 38m 47s
[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Check whitespace #1535: Pull request #2683 synchronize by jamesmckinna
March 21, 2025 14:41 15s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 21, 2025 14:41 15s
[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Check whitespace #1534: Pull request #2683 synchronize by jamesmckinna
March 20, 2025 18:21 11s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 20, 2025 18:21 11s
[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Ubuntu build #4566: Pull request #2683 synchronize by jamesmckinna
March 20, 2025 18:21 40m 6s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 20, 2025 18:21 40m 6s
[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Check whitespace #1533: Pull request #2683 opened by jamesmckinna
March 20, 2025 18:16 10s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 20, 2025 18:16 10s
[ add ] wellfoundedness of Relation.Binary.Construct.Add.Infimum.Strict Ubuntu build #4565: Pull request #2683 opened by jamesmckinna
March 20, 2025 18:16 38m 15s jamesmckinna:wf-lifting
jamesmckinna:wf-lifting
March 20, 2025 18:16 38m 15s
pages build and deployment pages-build-deployment #560: by github-pages bot
March 19, 2025 16:57 1m 19s gh-pages
gh-pages
March 19, 2025 16:57 1m 19s
[Refractor] contradiction over ⊥-elim in `Data.*.Relation.Binary.Lex.… Ubuntu build #4564: Commit e00111c pushed by github-merge-queue bot
March 19, 2025 16:18 38m 26s master
master
March 19, 2025 16:18 38m 26s
[Refractor] contradiction over ⊥-elim in `Data.*.Relation.Binary.Lex.… Check whitespace #1532: Commit e00111c pushed by github-merge-queue bot
March 19, 2025 16:18 10s master
master
March 19, 2025 16:18 10s
Haskell-CI Haskell-CI #2022: Merge group checks requested
March 19, 2025 15:37 3m 7s
March 19, 2025 15:37 3m 7s
Ubuntu build Ubuntu build #4563: Merge group checks requested
March 19, 2025 15:37 40m 32s
March 19, 2025 15:37 40m 32s
Check whitespace Check whitespace #1531: Merge group checks requested
March 19, 2025 15:37 9s
March 19, 2025 15:37 9s
pages build and deployment pages-build-deployment #559: by github-pages bot
March 19, 2025 11:04 1m 23s gh-pages
gh-pages
March 19, 2025 11:04 1m 23s
fix: #2680 (#2681) Ubuntu build #4562: Commit 699da8b pushed by github-merge-queue bot
March 19, 2025 10:25 38m 57s master
master
March 19, 2025 10:25 38m 57s
fix: #2680 (#2681) Check whitespace #1530: Commit 699da8b pushed by github-merge-queue bot
March 19, 2025 10:25 11s master
master
March 19, 2025 10:25 11s
Ubuntu build Ubuntu build #4561: Merge group checks requested
March 19, 2025 09:47 37m 26s
March 19, 2025 09:47 37m 26s
Check whitespace Check whitespace #1529: Merge group checks requested
March 19, 2025 09:47 10s
March 19, 2025 09:47 10s
Haskell-CI Haskell-CI #2021: Merge group checks requested
March 19, 2025 09:47 3m 10s
March 19, 2025 09:47 3m 10s
[ fix ] remove redundant import Ubuntu build #4560: Pull request #2681 opened by jamesmckinna
March 19, 2025 09:07 39m 30s jamesmckinna:issue2680
jamesmckinna:issue2680
March 19, 2025 09:07 39m 30s
[ fix ] remove redundant import Check whitespace #1528: Pull request #2681 opened by jamesmckinna
March 19, 2025 09:07 11s jamesmckinna:issue2680
jamesmckinna:issue2680
March 19, 2025 09:07 11s
[Refractor] contradiction over ⊥-elim in Data.*.Relation.Binary.Lex.* Ubuntu build #4559: Pull request #2671 synchronize by jmougeot
March 17, 2025 20:17 37m 39s jmougeot:contradiction17
jmougeot:contradiction17
March 17, 2025 20:17 37m 39s
[Refractor] contradiction over ⊥-elim in Data.*.Relation.Binary.Lex.* Check whitespace #1527: Pull request #2671 synchronize by jmougeot
March 17, 2025 20:17 10s jmougeot:contradiction17
jmougeot:contradiction17
March 17, 2025 20:17 10s
[Refractor] contradiction over ⊥-elim in Data.*.Relation.Binary.Lex.* Check whitespace #1526: Pull request #2671 synchronize by jmougeot
March 17, 2025 20:15 14s jmougeot:contradiction17
jmougeot:contradiction17
March 17, 2025 20:15 14s