Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Haskell-CI #2858: Pull request #2922 synchronize by jamesmckinna
2m 52s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
2m 52s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Ubuntu build #5639: Pull request #2922 synchronize by jamesmckinna
44m 23s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
44m 23s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Check whitespace #2578: Pull request #2922 synchronize by jamesmckinna
13s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
13s
[ deprecate ] README.Inspect Haskell-CI #2857: Pull request #2928 synchronize by jamesmckinna
2m 50s jamesmckinna:deprecate-README-Inspect
jamesmckinna:deprecate-README-Inspect
2m 50s
[ deprecate ] README.Inspect Check whitespace #2577: Pull request #2928 synchronize by jamesmckinna
9s jamesmckinna:deprecate-README-Inspect
jamesmckinna:deprecate-README-Inspect
9s
[ deprecate ] README.Inspect Ubuntu build #5638: Pull request #2928 synchronize by jamesmckinna
44m 11s jamesmckinna:deprecate-README-Inspect
jamesmckinna:deprecate-README-Inspect
44m 11s
[ fix ] CHANGELOG ahead of v2.4 Check whitespace #2576: Pull request #2974 reopened by jamesmckinna
12s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
12s
[ fix ] CHANGELOG ahead of v2.4 Ubuntu build #5637: Pull request #2974 reopened by jamesmckinna
43m 55s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
43m 55s
[ fix ] CHANGELOG ahead of v2.4 Haskell-CI #2856: Pull request #2974 reopened by jamesmckinna
2m 52s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
2m 52s
[ fix ] CHANGELOG ahead of v2.4 Haskell-CI #2855: Pull request #2974 synchronize by jamesmckinna
46s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
46s
[ fix ] CHANGELOG ahead of v2.4 Ubuntu build #5636: Pull request #2974 synchronize by jamesmckinna
43s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
43s
[ fix ] CHANGELOG ahead of v2.4 Check whitespace #2575: Pull request #2974 synchronize by jamesmckinna
9s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
9s
[ fix ] CHANGELOG ahead of v2.4 Check whitespace #2574: Pull request #2974 synchronize by jamesmckinna
12s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
12s
[ fix ] CHANGELOG ahead of v2.4 Ubuntu build #5635: Pull request #2974 synchronize by jamesmckinna
44m 57s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
44m 57s
[ fix ] CHANGELOG ahead of v2.4 Haskell-CI #2854: Pull request #2974 synchronize by jamesmckinna
3m 8s jamesmckinna:fix-CHANGELOG-v2.4
jamesmckinna:fix-CHANGELOG-v2.4
3m 8s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Check whitespace #2573: Pull request #2885 synchronize by jamesmckinna
8s jamesmckinna:centres-bis
jamesmckinna:centres-bis
8s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Ubuntu build #5634: Pull request #2885 synchronize by jamesmckinna
42m 38s jamesmckinna:centres-bis
jamesmckinna:centres-bis
42m 38s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Haskell-CI #2853: Pull request #2885 synchronize by jamesmckinna
2m 49s jamesmckinna:centres-bis
jamesmckinna:centres-bis
2m 49s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Check whitespace #2572: Pull request #2885 synchronize by jamesmckinna
9s jamesmckinna:centres-bis
jamesmckinna:centres-bis
9s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Ubuntu build #5633: Pull request #2885 synchronize by jamesmckinna
45m 12s jamesmckinna:centres-bis
jamesmckinna:centres-bis
45m 12s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Haskell-CI #2852: Pull request #2885 synchronize by jamesmckinna
3m 0s jamesmckinna:centres-bis
jamesmckinna:centres-bis
3m 0s
[ new ] Fin n as a refinement Haskell-CI #2851: Pull request #2975 synchronize by gallais
2m 58s gallais:nat-bounded
gallais:nat-bounded
2m 58s
[ new ] Fin n as a refinement Check whitespace #2571: Pull request #2975 synchronize by gallais
10s gallais:nat-bounded
gallais:nat-bounded
10s
[ new ] Fin n as a refinement Ubuntu build #5632: Pull request #2975 synchronize by gallais
44m 24s gallais:nat-bounded
gallais:nat-bounded
44m 24s
[ new ] Fin n as a refinement Haskell-CI #2850: Pull request #2975 synchronize by gallais
2m 53s gallais:nat-bounded
gallais:nat-bounded
2m 53s