Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: jeanas/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update test output Check conflicts #13: Commit 3d44429 pushed by jeanas
15s le_unique
le_unique
15s
Update test output Windows CI #13: Commit 3d44429 pushed by jeanas
54m 22s le_unique
le_unique
54m 22s
Update test output GitHub macOS CI #13: Commit 3d44429 pushed by jeanas
23m 13s le_unique
le_unique
23m 13s
Update test output Windows CI #12: Commit dc84743 pushed by jeanas
46m 49s le_unique
le_unique
46m 49s
Update test output Check conflicts #12: Commit dc84743 pushed by jeanas
11s le_unique
le_unique
11s
Update test output GitHub macOS CI #12: Commit dc84743 pushed by jeanas
2m 42s le_unique
le_unique
2m 42s
Move le_ind_dep next to le GitHub macOS CI #11: Commit 80c06e0 pushed by jeanas
38m 13s le_unique
le_unique
38m 13s
Move le_ind_dep next to le Check conflicts #11: Commit 80c06e0 pushed by jeanas
16s le_unique
le_unique
16s
Move le_ind_dep next to le Windows CI #11: Commit 80c06e0 pushed by jeanas
43m 57s le_unique
le_unique
43m 57s
Simplify proof of Peano_dec.le_unique Windows CI #10: Commit f96f722 pushed by jeanas
45m 52s le_unique
le_unique
45m 52s
Simplify proof of Peano_dec.le_unique GitHub macOS CI #10: Commit f96f722 pushed by jeanas
42m 49s le_unique
le_unique
42m 49s
Simplify proof of Peano_dec.le_unique Check conflicts #10: Commit f96f722 pushed by jeanas
10s le_unique
le_unique
10s
Simplify proof of Peano_dec.le_unique Check conflicts #9: Commit 0fc314d pushed by jeanas
12s le_unique
le_unique
12s
Simplify proof of Peano_dec.le_unique Windows CI #9: Commit 0fc314d pushed by jeanas
39m 35s le_unique
le_unique
39m 35s
Simplify proof of Peano_dec.le_unique GitHub macOS CI #9: Commit 0fc314d pushed by jeanas
41m 38s le_unique
le_unique
41m 38s
Simplify proof of Peano_dec.le_unique Windows CI #8: Commit dbac164 pushed by jeanas
40m 36s le_unique
le_unique
40m 36s
Simplify proof of Peano_dec.le_unique Check conflicts #8: Commit dbac164 pushed by jeanas
16s le_unique
le_unique
16s
Simplify proof of Peano_dec.le_unique GitHub macOS CI #8: Commit dbac164 pushed by jeanas
36m 54s le_unique
le_unique
36m 54s
Simplify proof of Peano_dec.le_unique Windows CI #7: Commit 06dc205 pushed by jeanas
1h 3m 44s le_unique
le_unique
1h 3m 44s
Simplify proof of Peano_dec.le_unique GitHub macOS CI #7: Commit 06dc205 pushed by jeanas
19m 10s le_unique
le_unique
19m 10s
Simplify proof of Peano_dec.le_unique Check conflicts #7: Commit 06dc205 pushed by jeanas
15s le_unique
le_unique
15s
Weaken assumption in Logic.Diaconescu Windows CI #6: Commit ee82be1 pushed by jeanas
59m 11s diaconescu
diaconescu
59m 11s
Weaken assumption in Logic.Diaconescu GitHub macOS CI #6: Commit ee82be1 pushed by jeanas
7m 42s diaconescu
diaconescu
7m 42s
Weaken assumption in Logic.Diaconescu Check conflicts #6: Commit ee82be1 pushed by jeanas
15s diaconescu
diaconescu
15s
Change names as requested by review Windows CI #5: Commit d8686e1 pushed by jeanas
48m 6s doc-let
doc-let
48m 6s