Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
467 workflow run results
467 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stop using assumption in replace by tac GitHub macOS CI #2250: Commit cce99da pushed by SkySkimmer
September 6, 2023 11:41 40m 57s replace-assum
replace-assum
September 6, 2023 11:41 40m 57s
Stop using assumption in replace by tac Windows CI #2088: Commit cce99da pushed by SkySkimmer
September 6, 2023 11:41 1h 6m 2s replace-assum
replace-assum
September 6, 2023 11:41 1h 6m 2s
Stop using assumption in replace by tac Check conflicts #3896: Commit cce99da pushed by SkySkimmer
September 6, 2023 11:41 14s replace-assum
replace-assum
September 6, 2023 11:41 14s
Move typed_vernac to its own file from vernacextend Windows CI #2087: Commit 349ed92 pushed by SkySkimmer
September 6, 2023 11:29 1h 17m 27s vernactypes
vernactypes
September 6, 2023 11:29 1h 17m 27s
Move typed_vernac to its own file from vernacextend GitHub macOS CI #2249: Commit 349ed92 pushed by SkySkimmer
September 6, 2023 11:29 40m 52s vernactypes
vernactypes
September 6, 2023 11:29 40m 52s
Move typed_vernac to its own file from vernacextend Check conflicts #3895: Commit 349ed92 pushed by SkySkimmer
September 6, 2023 11:29 10s vernactypes
vernactypes
September 6, 2023 11:29 10s
Merge PR #17777: Expose [Evarconv.unify] as an Ltac2 primitive. Windows CI #2086: Commit afaecfd pushed by SkySkimmer
September 6, 2023 11:27 1h 2m 50s master
master
September 6, 2023 11:27 1h 2m 50s
Merge PR #17777: Expose [Evarconv.unify] as an Ltac2 primitive. Check conflicts #3894: Commit afaecfd pushed by SkySkimmer
September 6, 2023 11:27 13s master
master
September 6, 2023 11:27 13s
Merge PR #17777: Expose [Evarconv.unify] as an Ltac2 primitive. GitHub macOS CI #2248: Commit afaecfd pushed by SkySkimmer
September 6, 2023 11:27 40m 7s master
master
September 6, 2023 11:27 40m 7s
Stale PRs Stale PRs #525: Scheduled
September 6, 2023 02:16 3s master
master
September 6, 2023 02:16 3s
Merge PR #17997: [release] minimalistic changes for 8.18 Windows CI #2085: Commit 9192de5 pushed by SkySkimmer
September 5, 2023 14:52 1h 27m 26s master
master
September 5, 2023 14:52 1h 27m 26s
Merge PR #17997: [release] minimalistic changes for 8.18 GitHub macOS CI #2247: Commit 9192de5 pushed by SkySkimmer
September 5, 2023 14:52 38m 25s master
master
September 5, 2023 14:52 38m 25s
Merge PR #17997: [release] minimalistic changes for 8.18 Check conflicts #3893: Commit 9192de5 pushed by SkySkimmer
September 5, 2023 14:52 14s master
master
September 5, 2023 14:52 14s
Fix #[warnings] attribute in synterp phase Check conflicts #3892: Commit fb0d003 pushed by SkySkimmer
September 5, 2023 14:02 14s warn-synterp
warn-synterp
September 5, 2023 14:02 14s
Fix #[warnings] attribute in synterp phase Windows CI #2084: Commit fb0d003 pushed by SkySkimmer
September 5, 2023 14:02 1h 11m 10s warn-synterp
warn-synterp
September 5, 2023 14:02 1h 11m 10s
Fix #[warnings] attribute in synterp phase GitHub macOS CI #2246: Commit fb0d003 pushed by SkySkimmer
September 5, 2023 14:02 38m 14s warn-synterp
warn-synterp
September 5, 2023 14:02 38m 14s
Overlays for #18010 (monomorphized vernac_expr) GitHub macOS CI #2245: Commit 067b1b4 pushed by SkySkimmer
September 5, 2023 12:34 37m 40s warn-synterp
warn-synterp
September 5, 2023 12:34 37m 40s
Overlays for #18010 (monomorphized vernac_expr) Windows CI #2083: Commit 067b1b4 pushed by SkySkimmer
September 5, 2023 12:34 1h 6m 57s warn-synterp
warn-synterp
September 5, 2023 12:34 1h 6m 57s
Overlays for #18010 (monomorphized vernac_expr) Check conflicts #3891: Commit 067b1b4 pushed by SkySkimmer
September 5, 2023 12:34 14s warn-synterp
warn-synterp
September 5, 2023 12:34 14s
Only parse generic attributes once Check conflicts #3890: Commit cc04b32 pushed by SkySkimmer
September 5, 2023 10:21 22s warn-synterp
warn-synterp
September 5, 2023 10:21 22s
Only parse generic attributes once GitHub macOS CI #2244: Commit cc04b32 pushed by SkySkimmer
September 5, 2023 10:21 37m 13s warn-synterp
warn-synterp
September 5, 2023 10:21 37m 13s
Only parse generic attributes once Windows CI #2082: Commit cc04b32 pushed by SkySkimmer
September 5, 2023 10:21 1h 8m 0s warn-synterp
warn-synterp
September 5, 2023 10:21 1h 8m 0s
Changelog and test for #17789 Check conflicts #3889: Commit 92bbdc6 pushed by SkySkimmer
September 5, 2023 09:15 19s change-uniq
change-uniq
September 5, 2023 09:15 19s
Changelog and test for #17789 GitHub macOS CI #2243: Commit 92bbdc6 pushed by SkySkimmer
September 5, 2023 09:15 37m 49s change-uniq
change-uniq
September 5, 2023 09:15 37m 49s
Changelog and test for #17789 Windows CI #2081: Commit 92bbdc6 pushed by SkySkimmer
September 5, 2023 09:15 1h 14m 24s change-uniq
change-uniq
September 5, 2023 09:15 1h 14m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-09-05 or the other filters available.