Skip to content

Actions: epfl-systemf/coq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-github.yml
36 workflow runs
36 workflow runs

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
Add overlays. Github CI #36: Commit e8afe73 pushed by ppedrot
33m 24s autonaming-goals
autonaming-goals
33m 24s
Add overlays. Github CI #35: Commit a13185b pushed by ppedrot
32m 35s autonaming-goals
autonaming-goals
32m 35s
Update documentation for qualified goal names Github CI #34: Commit 76f56cb pushed by ppedrot
33m 25s autonaming-goals
autonaming-goals
33m 25s
Add overlay Github CI #33: Commit b4d8eb6 pushed by ppedrot
43m 55s autonaming-goals
autonaming-goals
43m 55s
Add overlay Github CI #32: Commit 6b09e3b pushed by dhalilov
40m 16s autonaming-goals
autonaming-goals
40m 16s
Zipper WIP Github CI #31: Commit bd5a4a6 pushed by dwRchyngqxs
42m 5s controlled_red
controlled_red
42m 5s
Split on focusing brace in rocqtop ReST directive Github CI #30: Commit 5ee6ecc pushed by dhalilov
41m 20s dhalilov/fix-focusing-brace-rocqtop-directive
dhalilov/fix-focusing-brace-rocqtop-directive
41m 20s
Add overlay Github CI #29: Commit 3ac7ece pushed by dhalilov
38m 51s autonaming-goals
autonaming-goals
38m 51s
Add overlay Github CI #28: Commit 2417fb6 pushed by dhalilov
39m 30s autonaming-goals
autonaming-goals
39m 30s
Add overlay Github CI #27: Commit 8dd862f pushed by dhalilov
27m 38s autonaming-goals
autonaming-goals
27m 38s
Add overlay Github CI #26: Commit e69ee51 pushed by dhalilov
35m 37s autonaming-goals
autonaming-goals
35m 37s
State Github CI #25: Commit f2f2dc0 pushed by dwRchyngqxs
26m 56s controlled_red
controlled_red
26m 56s
State Github CI #24: Commit 76159d5 pushed by dwRchyngqxs
36m 59s controlled_red
controlled_red
36m 59s
Add overlay Github CI #23: Commit 797d068 pushed by dhalilov
28m 46s autonaming-goals
autonaming-goals
28m 46s
Update documentation for qualified goal names Github CI #22: Commit 2eb6e53 pushed by dhalilov
27m 54s autonaming-goals
autonaming-goals
27m 54s
Add changelog entry Github CI #21: Commit 6032b00 pushed by dhalilov
27m 45s autonaming-goals
autonaming-goals
27m 45s
Add changelog entry Github CI #20: Commit ad873cf pushed by dhalilov
20m 51s autonaming-goals
autonaming-goals
20m 51s
Merge PR #20854: Fix test suite after parallel merge of #20813 and #2… Github CI #19: Commit 7aa1b22 pushed by dhalilov
28m 9s master
master
28m 9s
Add changelog entry Github CI #18: Commit ff080d7 pushed by dhalilov
29m 4s autonaming-goals
autonaming-goals
29m 4s
Add overlay and changelog entry Github CI #17: Commit 0cc933b pushed by dhalilov
28m 53s better-names-for-induction-principle-cases
better-names-for-induction-principle-cases
28m 53s
Update doc and grammar following code review Github CI #16: Commit e086bfc pushed by dhalilov
28m 5s autonaming-goals
autonaming-goals
28m 5s
Update doc and grammar following code review Github CI #15: Commit 48ece74 pushed by dhalilov
4m 16s autonaming-goals
autonaming-goals
4m 16s
Add overlay and changelog entry Github CI #14: Commit 0327afd pushed by dhalilov
29m 54s better-names-for-induction-principle-cases
better-names-for-induction-principle-cases
29m 54s
Modify name of induction scheme hypotheses Github CI #13: Commit 76dcadd pushed by dhalilov
28m 34s better-names-for-induction-principle-cases
better-names-for-induction-principle-cases
28m 34s
Enable accessible goal names by default for bench Github CI #12: Commit 7331b53 pushed by dhalilov
27m 31s autonaming-goals
autonaming-goals
27m 31s