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

Skip to content

Actions: Tragicus/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
364 workflow runs
364 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refold before evar instantiation Windows CI #110: Commit df2a00a pushed by Tragicus
34m 15s fold-evd
fold-evd
34m 15s
refold before evar instantiation Check conflicts #110: Commit df2a00a pushed by Tragicus
14s fold-evd
fold-evd
14s
refold before evar instantiation GitHub macOS CI #110: Commit df2a00a pushed by Tragicus
22m 34s fold-evd
fold-evd
22m 34s
check all keys Windows CI #109: Commit 171fbdd pushed by Tragicus
22m 10s check-keys
check-keys
22m 10s
check all keys Check conflicts #109: Commit 171fbdd pushed by Tragicus
14s check-keys
check-keys
14s
check all keys GitHub macOS CI #109: Commit 171fbdd pushed by Tragicus
23m 50s check-keys
check-keys
23m 50s
test-suite example Windows CI #108: Commit 42635bc pushed by Tragicus
40m 57s check-keys
check-keys
40m 57s
test-suite example Check conflicts #108: Commit 42635bc pushed by Tragicus
15s check-keys
check-keys
15s
test-suite example GitHub macOS CI #108: Commit 42635bc pushed by Tragicus
23m 49s check-keys
check-keys
23m 49s
typo GitHub macOS CI #107: Commit 91d3d92 pushed by Tragicus
19m 50s check-keys
check-keys
19m 50s
typo Check conflicts #107: Commit 91d3d92 pushed by Tragicus
13s check-keys
check-keys
13s
typo Windows CI #107: Commit 91d3d92 pushed by Tragicus
37m 3s check-keys
check-keys
37m 3s
factorize GitHub macOS CI #106: Commit c737fba pushed by Tragicus
21m 41s check-keys
check-keys
21m 41s
factorize Windows CI #106: Commit c737fba pushed by Tragicus
1h 8m 1s check-keys
check-keys
1h 8m 1s
factorize Check conflicts #106: Commit c737fba pushed by Tragicus
11s check-keys
check-keys
11s
check all keys Windows CI #105: Commit 5985b4b pushed by Tragicus
54m 37s check-keys
check-keys
54m 37s
check all keys Check conflicts #105: Commit 5985b4b pushed by Tragicus
15s check-keys
check-keys
15s
check all keys GitHub macOS CI #105: Commit 5985b4b pushed by Tragicus
23m 52s check-keys
check-keys
23m 52s
check all keys Check conflicts #104: Commit e696bab pushed by Tragicus
11s check-keys
check-keys
11s
check all keys GitHub macOS CI #104: Commit e696bab pushed by Tragicus
24m 30s check-keys
check-keys
24m 30s
check all keys Windows CI #104: Commit e696bab pushed by Tragicus
49m 1s check-keys
check-keys
49m 1s
check all keys GitHub macOS CI #103: Commit a58686b pushed by Tragicus
22m 22s check-keys
check-keys
22m 22s
check all keys Check conflicts #103: Commit a58686b pushed by Tragicus
12s check-keys
check-keys
12s
check all keys Windows CI #103: Commit a58686b pushed by Tragicus
49m 21s check-keys
check-keys
49m 21s
shelve new variable when instantiating old shelved variable with the … Check conflicts #102: Commit bbabba0 pushed by Tragicus
12s evd-inst
evd-inst
12s