Skip to content

Actions: math-comp/analysis

Actions

Nix CI for bundle 8.20-2.4.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20-2.4.0.yml
512 workflow runs
512 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow rocq 9.1 Nix CI for bundle 8.20-2.4.0 #512: Pull request #1832 opened by garrigue
44m 46s
44m 46s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #511: Pull request #1819 synchronize by lstrsrmn
31m 48s
31m 48s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #510: Pull request #1819 synchronize by lstrsrmn
29m 19s
29m 19s
Added lemma to swap mathcomp natural log with Rocqs natural log (#1831) Nix CI for bundle 8.20-2.4.0 #509: Commit 5e3fad2 pushed by proux01
11m 44s master
master
11m 44s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #508: Pull request #1819 synchronize by lstrsrmn
16m 49s
16m 49s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #507: Pull request #1819 synchronize by lstrsrmn
3m 52s
3m 52s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #506: Pull request #1819 synchronize by lstrsrmn
3m 57s
3m 57s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #505: Pull request #1819 synchronize by lstrsrmn
4m 28s
4m 28s
Added lemma to swap mathcomp natural log with Rocqs natural log Nix CI for bundle 8.20-2.4.0 #504: Pull request #1831 synchronize by proux01
33m 27s
33m 27s
Added lemma to swap mathcomp natural log with Rocqs natural log Nix CI for bundle 8.20-2.4.0 #503: Pull request #1831 synchronize by lstrsrmn
44m 4s
44m 4s
Add lemma pmf_measurable Nix CI for bundle 8.20-2.4.0 #502: Pull request #1827 synchronize by Yosuke-Ito-345
32m 40s
32m 40s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #501: Pull request #1819 synchronize by affeldt-aist
38m 21s
38m 21s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #500: Pull request #1819 synchronize by affeldt-aist
46m 10s
46m 10s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #499: Pull request #1819 synchronize by affeldt-aist
46m 0s
46m 0s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #498: Pull request #1819 synchronize by affeldt-aist
45m 54s
45m 54s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #497: Pull request #1819 synchronize by affeldt-aist
45m 22s
45m 22s
Added differentiability of the max function Nix CI for bundle 8.20-2.4.0 #496: Pull request #1819 synchronize by affeldt-aist
46m 4s
46m 4s
Normed vector types, infinite norm, norm equivalence thm, continuity … Nix CI for bundle 8.20-2.4.0 #495: Pull request #1718 synchronize by Tragicus
44m 35s
44m 35s
Added lemma to swap mathcomp natural log with Rocqs natural log Nix CI for bundle 8.20-2.4.0 #494: Pull request #1831 synchronize by lstrsrmn
32m 53s
32m 53s
Added lemma to swap mathcomp natural log with Rocqs natural log Nix CI for bundle 8.20-2.4.0 #493: Pull request #1831 opened by lstrsrmn
47m 48s
47m 48s
Experimenting with a generic sup interface Nix CI for bundle 8.20-2.4.0 #492: Pull request #1830 synchronize by CohenCyril
45m 54s
45m 54s
Experimenting with a generic sup interface Nix CI for bundle 8.20-2.4.0 #491: Pull request #1830 opened by CohenCyril
44m 2s
44m 2s
EVT for rV Nix CI for bundle 8.20-2.4.0 #490: Pull request #1802 synchronize by affeldt-aist
1m 6s
1m 6s
EVT for rV Nix CI for bundle 8.20-2.4.0 #489: Pull request #1802 synchronize by affeldt-aist
43m 24s
43m 24s
derive_mx Nix CI for bundle 8.20-2.4.0 #488: Pull request #1829 opened by affeldt-aist
32m 58s
32m 58s