Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1035: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 17:24 15s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 17:24 15s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4067: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 17:24 38m 36s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 17:24 38m 36s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4066: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 15:36 39m 49s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 15:36 39m 49s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1034: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 15:36 16s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 15:36 16s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4065: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 15:01 39m 57s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 15:01 39m 57s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1033: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 15:01 13s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 15:01 13s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4064: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 14:46 15m 48s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 14:46 15m 48s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1032: Pull request #2569 synchronize by jamesmckinna
February 2, 2025 14:46 11s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 2, 2025 14:46 11s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4063: Pull request #2569 synchronize by jamesmckinna
February 1, 2025 13:14 38m 35s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 1, 2025 13:14 38m 35s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1031: Pull request #2569 synchronize by jamesmckinna
February 1, 2025 13:14 18s jamesmckinna:surjective-section
jamesmckinna:surjective-section
February 1, 2025 13:14 18s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1030: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 10:52 17s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 10:52 17s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4062: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 10:52 39m 12s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 10:52 39m 12s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4061: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 10:17 35m 17s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 10:17 35m 17s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1029: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 10:17 18s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 10:17 18s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1028: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 10:17 12s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 10:17 12s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4060: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 10:17 1m 32s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 10:17 1m 32s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1027: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 09:10 12s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 09:10 12s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4059: Pull request #2569 synchronize by jamesmckinna
January 31, 2025 09:10 39m 28s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 31, 2025 09:10 39m 28s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1026: Pull request #2569 synchronize by jamesmckinna
January 30, 2025 23:51 17s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 30, 2025 23:51 17s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4058: Pull request #2569 synchronize by jamesmckinna
January 30, 2025 23:51 40m 19s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 30, 2025 23:51 40m 19s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1025: Pull request #2569 synchronize by jamesmckinna
January 30, 2025 17:30 12s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 30, 2025 17:30 12s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4057: Pull request #2569 synchronize by jamesmckinna
January 30, 2025 17:30 40m 41s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 30, 2025 17:30 40m 41s
[ refactor ] fixes #2568; proves full symmetry for Bijection Ubuntu build #4056: Pull request #2569 synchronize by jamesmckinna
January 30, 2025 14:13 39m 26s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 30, 2025 14:13 39m 26s
[ refactor ] fixes #2568; proves full symmetry for Bijection Check whitespace #1024: Pull request #2569 synchronize by jamesmckinna
January 30, 2025 14:13 13s jamesmckinna:surjective-section
jamesmckinna:surjective-section
January 30, 2025 14:13 13s
Implement ≤-total in terms of _≤?_ Check whitespace #1023: Pull request #2440 synchronize by Taneb
January 30, 2025 12:00 17s fast-total
fast-total
January 30, 2025 12:00 17s