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

Use ltac backtrace in "tactic was not fully applied" error Windows CI #2223: Commit 53400b8 pushed by SkySkimmer
October 4, 2023 14:12 51m 46s tac-of-val-trace
tac-of-val-trace
October 4, 2023 14:12 51m 46s
Use ltac backtrace in "tactic was not fully applied" error Check conflicts #4031: Commit 53400b8 pushed by SkySkimmer
October 4, 2023 14:12 16s tac-of-val-trace
tac-of-val-trace
October 4, 2023 14:12 16s
Use ltac backtrace in "tactic was not fully applied" error GitHub macOS CI #2385: Commit 53400b8 pushed by SkySkimmer
October 4, 2023 14:12 33m 22s tac-of-val-trace
tac-of-val-trace
October 4, 2023 14:12 33m 22s
Merge PR #18105: Rename perf/perf.c into perf/coq_perf.c Windows CI #2222: Commit e6a9578 pushed by SkySkimmer
October 4, 2023 14:09 1h 14m 11s master
master
October 4, 2023 14:09 1h 14m 11s
Merge PR #18105: Rename perf/perf.c into perf/coq_perf.c Check conflicts #4030: Commit e6a9578 pushed by SkySkimmer
October 4, 2023 14:09 17s master
master
October 4, 2023 14:09 17s
Merge PR #18105: Rename perf/perf.c into perf/coq_perf.c GitHub macOS CI #2384: Commit e6a9578 pushed by SkySkimmer
October 4, 2023 14:09 38m 24s master
master
October 4, 2023 14:09 38m 24s
Attribute #[native_compile=no] per definition Check conflicts #4029: Commit 2224855 pushed by SkySkimmer
October 4, 2023 12:09 13s native-off-perdef
native-off-perdef
October 4, 2023 12:09 13s
Attribute #[native_compile=no] per definition Windows CI #2221: Commit 2224855 pushed by SkySkimmer
October 4, 2023 12:09 1h 2m 9s native-off-perdef
native-off-perdef
October 4, 2023 12:09 1h 2m 9s
Attribute #[native_compile=no] per definition GitHub macOS CI #2383: Commit 2224855 pushed by SkySkimmer
October 4, 2023 12:09 34m 41s native-off-perdef
native-off-perdef
October 4, 2023 12:09 34m 41s
Bench: use make-both-time-files on the combined logs Check conflicts #4028: Commit 1e235ec pushed by SkySkimmer
October 4, 2023 11:58 14s bench-timed
bench-timed
October 4, 2023 11:58 14s
Bench: use make-both-time-files on the combined logs GitHub macOS CI #2382: Commit 1e235ec pushed by SkySkimmer
October 4, 2023 11:58 35m 43s bench-timed
bench-timed
October 4, 2023 11:58 35m 43s
Bench: use make-both-time-files on the combined logs Windows CI #2220: Commit 1e235ec pushed by SkySkimmer
October 4, 2023 11:58 1h 18m 44s bench-timed
bench-timed
October 4, 2023 11:58 1h 18m 44s
Attribute #[native_compile=no] per definition GitHub macOS CI #2381: Commit 627b09c pushed by SkySkimmer
October 4, 2023 11:42 34m 50s native-off-perdef
native-off-perdef
October 4, 2023 11:42 34m 50s
Attribute #[native_compile=no] per definition Check conflicts #4027: Commit 627b09c pushed by SkySkimmer
October 4, 2023 11:42 16s native-off-perdef
native-off-perdef
October 4, 2023 11:42 16s
Attribute #[native_compile=no] per definition Windows CI #2219: Commit 627b09c pushed by SkySkimmer
October 4, 2023 11:42 59m 41s native-off-perdef
native-off-perdef
October 4, 2023 11:42 59m 41s
Ltac2: Fresh.Free.t = ident FSet.t Windows CI #2218: Commit d1bde3e pushed by SkySkimmer
October 4, 2023 11:12 1h 0m 7s ltac2-fresh-set
ltac2-fresh-set
October 4, 2023 11:12 1h 0m 7s
Ltac2: Fresh.Free.t = ident FSet.t Check conflicts #4026: Commit d1bde3e pushed by SkySkimmer
October 4, 2023 11:12 11s ltac2-fresh-set
ltac2-fresh-set
October 4, 2023 11:12 11s
Ltac2: Fresh.Free.t = ident FSet.t GitHub macOS CI #2380: Commit d1bde3e pushed by SkySkimmer
October 4, 2023 11:12 37m 0s ltac2-fresh-set
ltac2-fresh-set
October 4, 2023 11:12 37m 0s
Remove unused nametab for qvars GitHub macOS CI #2379: Commit 93d24c2 pushed by SkySkimmer
October 4, 2023 10:34 34m 29s sort-poly
sort-poly
October 4, 2023 10:34 34m 29s
Remove unused nametab for qvars Windows CI #2217: Commit 93d24c2 pushed by SkySkimmer
October 4, 2023 10:34 1h 5m 2s sort-poly
sort-poly
October 4, 2023 10:34 1h 5m 2s
Remove unused nametab for qvars Check conflicts #4025: Commit 93d24c2 pushed by SkySkimmer
October 4, 2023 10:34 12s sort-poly
sort-poly
October 4, 2023 10:34 12s
Stale PRs Stale PRs #545: Scheduled
October 4, 2023 02:20 3s master
master
October 4, 2023 02:20 3s
Bench: use make-both-time-files on opam logs GitHub macOS CI #2378: Commit 3d253c5 pushed by SkySkimmer
October 3, 2023 13:59 35m 30s bench-timed
bench-timed
October 3, 2023 13:59 35m 30s
Bench: use make-both-time-files on opam logs Windows CI #2216: Commit 3d253c5 pushed by SkySkimmer
October 3, 2023 13:59 1h 27m 28s bench-timed
bench-timed
October 3, 2023 13:59 1h 27m 28s
Bench: use make-both-time-files on opam logs Check conflicts #4024: Commit 3d253c5 pushed by SkySkimmer
October 3, 2023 13:59 10s bench-timed
bench-timed
October 3, 2023 13:59 10s