Skip to content

Actions: UniMath/agda-unimath

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
Matrices and grids agda-unimath CI #13865: Pull request #1966 ready_for_review by lowasser
14m 31s lowasser:matrix-grid
lowasser:matrix-grid
14m 31s
Sums in normed real vector spaces agda-unimath CI #13864: Pull request #1940 synchronize by lowasser
14m 48s lowasser:sums-real-vec
lowasser:sums-real-vec
14m 48s
Multilinear maps agda-unimath CI #13863: Pull request #1970 opened by lowasser
1m 7s lowasser:multilinear-maps
lowasser:multilinear-maps
1m 7s
Insertion and removal at pairs of distinct indices agda-unimath CI #13862: Pull request #1969 synchronize by lowasser
11m 41s lowasser:insertion-removal
lowasser:insertion-removal
11m 41s
Insertion and removal at pairs of distinct indices agda-unimath CI #13861: Pull request #1969 opened by lowasser
2m 17s lowasser:insertion-removal
lowasser:insertion-removal
2m 17s
The algebraic theory of semigroups agda-unimath CI #13860: Pull request #1899 synchronize by lowasser
13m 30s lowasser:universal-algebra-semigroup
lowasser:universal-algebra-semigroup
13m 30s
Matrix similarity agda-unimath CI #13859: Pull request #1968 opened by lowasser
1m 21s lowasser:matrix-similarity
lowasser:matrix-similarity
1m 21s
The algebra of square matrices over commutative rings agda-unimath CI #13858: Pull request #1967 synchronize by lowasser
48s lowasser:matrix-mul-algebra
lowasser:matrix-mul-algebra
48s
The algebra of square matrices over commutative rings agda-unimath CI #13857: Pull request #1967 opened by lowasser
1m 8s lowasser:matrix-mul-algebra
lowasser:matrix-mul-algebra
1m 8s
Matrices and grids agda-unimath CI #13856: Pull request #1966 synchronize by lowasser
55s lowasser:matrix-grid
lowasser:matrix-grid
55s
Matrices and grids agda-unimath CI #13855: Pull request #1966 synchronize by lowasser
51s lowasser:matrix-grid
lowasser:matrix-grid
51s
Matrix overhaul agda-unimath CI #13854: Pull request #1935 synchronize by lowasser
1m 7s lowasser:matrix-ops
lowasser:matrix-ops
1m 7s
Matrices and grids agda-unimath CI #13853: Pull request #1966 synchronize by lowasser
1m 37s lowasser:matrix-grid
lowasser:matrix-grid
1m 37s
Matrices and grids agda-unimath CI #13852: Pull request #1966 opened by lowasser
50s lowasser:matrix-grid
lowasser:matrix-grid
50s
Rational powers of positive real numbers agda-unimath CI #13851: Pull request #1965 synchronize by lowasser
1m 0s lowasser:rational-real-powers
lowasser:rational-real-powers
1m 0s
Rational powers of positive real numbers agda-unimath CI #13850: Pull request #1965 synchronize by lowasser
31s lowasser:rational-real-powers
lowasser:rational-real-powers
31s
Rational powers of positive real numbers agda-unimath CI #13849: Pull request #1965 opened by lowasser
1m 8s lowasser:rational-real-powers
lowasser:rational-real-powers
1m 8s
Inverses of strictly increasing real maps on proper real closed intervals (WIP) agda-unimath CI #13848: Pull request #1956 synchronize by malarbol
4m 51s malarbol:inv-strictly-increasing-maps-proper-closed-intervals
malarbol:inv-strictly-increasing-maps-proper-closed-intervals
4m 51s
Inverses of strictly increasing real maps on proper real closed intervals (WIP) agda-unimath CI #13847: Pull request #1956 synchronize by malarbol
50s malarbol:inv-strictly-increasing-maps-proper-closed-intervals
malarbol:inv-strictly-increasing-maps-proper-closed-intervals
50s
Inverses of strictly increasing real maps on proper real closed intervals (WIP) agda-unimath CI #13846: Pull request #1956 synchronize by malarbol
49s malarbol:inv-strictly-increasing-maps-proper-closed-intervals
malarbol:inv-strictly-increasing-maps-proper-closed-intervals
49s
Inverses of strictly increasing real maps on proper real closed intervals (WIP) agda-unimath CI #13845: Pull request #1956 synchronize by malarbol
1m 34s malarbol:inv-strictly-increasing-maps-proper-closed-intervals
malarbol:inv-strictly-increasing-maps-proper-closed-intervals
1m 34s
Inverses of strictly increasing real maps on proper real closed intervals (WIP) agda-unimath CI #13844: Pull request #1956 synchronize by malarbol
56s malarbol:inv-strictly-increasing-maps-proper-closed-intervals
malarbol:inv-strictly-increasing-maps-proper-closed-intervals
56s
Inverses of strictly increasing real maps on proper real closed intervals (WIP) agda-unimath CI #13843: Pull request #1956 synchronize by malarbol
58s malarbol:inv-strictly-increasing-maps-proper-closed-intervals
malarbol:inv-strictly-increasing-maps-proper-closed-intervals
58s
misc lemmas min/max/clamp real numbers agda-unimath CI #13842: Pull request #1957 synchronize by malarbol
1m 32s malarbol:lemmas-min/max/clamp
malarbol:lemmas-min/max/clamp
1m 32s
Inverses of strictly increasing real maps on proper real closed intervals (WIP) agda-unimath CI #13841: Pull request #1956 synchronize by malarbol
52s malarbol:inv-strictly-increasing-maps-proper-closed-intervals
malarbol:inv-strictly-increasing-maps-proper-closed-intervals
52s