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

Skip to content

Actions: JasonGross/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Ltac2.Option.{is_some,is_none,compare,join,iter} GitHub macOS CI #254: Commit 959e8f8 pushed by JasonGross
22m 11s ltac2-option-is-some-none
ltac2-option-is-some-none
22m 11s
Add Ltac2.Option.{is_some,is_none,compare,join,iter} Windows CI #247: Commit ccdb127 pushed by JasonGross
59m 36s ltac2-option-is-some-none
ltac2-option-is-some-none
59m 36s
Add Ltac2.Option.{is_some,is_none,compare,join,iter} GitHub macOS CI #253: Commit ccdb127 pushed by JasonGross
22m 44s ltac2-option-is-some-none
ltac2-option-is-some-none
22m 44s
Add Ltac2.Option.{is_some,is_none,compare,join,iter} Check conflicts #370: Commit ccdb127 pushed by JasonGross
12s ltac2-option-is-some-none
ltac2-option-is-some-none
12s
Update Makefile.ci: lean4 importer requires stdlib GitHub macOS CI #252: Commit 472090e pushed by JasonGross
21m 43s coq-lean4-import
coq-lean4-import
21m 43s
Update Makefile.ci: lean4 importer requires stdlib Windows CI #246: Commit 472090e pushed by JasonGross
1h 5m 13s coq-lean4-import
coq-lean4-import
1h 5m 13s
Update Makefile.ci: lean4 importer requires stdlib Check conflicts #369: Commit 472090e pushed by JasonGross
13s coq-lean4-import
coq-lean4-import
13s
Add in stdlib dep GitHub macOS CI #251: Commit bf6ca35 pushed by JasonGross
23m 56s coq-lean4-import
coq-lean4-import
23m 56s
Add in stdlib dep Check conflicts #368: Commit bf6ca35 pushed by JasonGross
11s coq-lean4-import
coq-lean4-import
11s
Add in stdlib dep Windows CI #245: Commit bf6ca35 pushed by JasonGross
53m 32s coq-lean4-import
coq-lean4-import
53m 32s
Add coq-lean4-import to the CI Check conflicts #367: Commit 45990a5 pushed by JasonGross
12s coq-lean4-import
coq-lean4-import
12s
Add coq-lean4-import to the CI Windows CI #244: Commit 45990a5 pushed by JasonGross
1h 7m 50s coq-lean4-import
coq-lean4-import
1h 7m 50s
Add coq-lean4-import to the CI GitHub macOS CI #250: Commit 45990a5 pushed by JasonGross
22m 27s coq-lean4-import
coq-lean4-import
22m 27s
coq_makefile: Ensure STDTIME works when TIMED is empty Check conflicts #366: Commit e41da32 pushed by JasonGross
12s better-stdtime
better-stdtime
12s
coq_makefile: Ensure STDTIME works when TIMED is empty GitHub macOS CI #249: Commit e41da32 pushed by JasonGross
21m 39s better-stdtime
better-stdtime
21m 39s
coq_makefile: Ensure STDTIME works when TIMED is empty Windows CI #243: Commit e41da32 pushed by JasonGross
47m 12s better-stdtime
better-stdtime
47m 12s
Merge PR #20151: Fix corelib doc deployment GitHub macOS CI #248: Commit c22a074 pushed by JasonGross
22m 26s master
master
22m 26s
Merge PR #20151: Fix corelib doc deployment Check conflicts #365: Commit c22a074 pushed by JasonGross
13s master
master
13s
Merge PR #20151: Fix corelib doc deployment Windows CI #242: Commit c22a074 pushed by JasonGross
1h 10m 6s master
master
1h 10m 6s
[CI] Test that the install directory can be moved Windows CI #241: Commit 87853da pushed by JasonGross
2h 22m 13s test-relocatable
test-relocatable
2h 22m 13s
[CI] Test that the install directory can be moved GitHub macOS CI #247: Commit 87853da pushed by JasonGross
24m 34s test-relocatable
test-relocatable
24m 34s
[CI] Test that the install directory can be moved Check conflicts #364: Commit 87853da pushed by JasonGross
3h 46m 43s test-relocatable
test-relocatable
3h 46m 43s
[CI] Test that the install directory can be moved Check conflicts #363: Commit 0806510 pushed by JasonGross
3h 52m 34s test-relocatable
test-relocatable
3h 52m 34s
[CI] Test that the install directory can be moved Windows CI #240: Commit 0806510 pushed by JasonGross
2h 8m 32s test-relocatable
test-relocatable
2h 8m 32s
[CI] Test that the install directory can be moved GitHub macOS CI #246: Commit 0806510 pushed by JasonGross
23m 10s test-relocatable
test-relocatable
23m 10s