Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,151 workflow run results
1,151 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Cumulativity Weak Constraints work with Set (when minim to s… Windows CI #2656: Commit 557bae0 pushed by SkySkimmer
January 9, 2024 13:51 46m 16s weak-constraints-set
weak-constraints-set
January 9, 2024 13:51 46m 16s
Make Cumulativity Weak Constraints work with Set (when minim to s… Check conflicts #4464: Commit 557bae0 pushed by SkySkimmer
January 9, 2024 13:51 16s weak-constraints-set
weak-constraints-set
January 9, 2024 13:51 16s
Make Cumulativity Weak Constraints work with Set (when minim to s… GitHub macOS CI #2818: Commit 557bae0 pushed by SkySkimmer
January 9, 2024 13:51 1h 14m 10s weak-constraints-set
weak-constraints-set
January 9, 2024 13:51 1h 14m 10s
CI: Support overriding colors even when CI is set Check conflicts #4463: Commit 56c027e pushed by SkySkimmer
January 9, 2024 12:27 10s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 10s
CI: Support overriding colors even when CI is set Windows CI #2655: Commit 56c027e pushed by SkySkimmer
January 9, 2024 12:27 49m 3s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 49m 3s
CI: Support overriding colors even when CI is set GitHub macOS CI #2817: Commit 56c027e pushed by SkySkimmer
January 9, 2024 12:27 1h 13m 19s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 1h 13m 19s
CI: Support overriding colors even when CI is set Check conflicts #4462: Commit 560fb62 pushed by SkySkimmer
January 9, 2024 12:27 9s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 9s
CI: Support overriding colors even when CI is set Windows CI #2654: Commit 560fb62 pushed by SkySkimmer
January 9, 2024 12:27 37m 46s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 37m 46s
CI: Support overriding colors even when CI is set GitHub macOS CI #2816: Commit 560fb62 pushed by SkySkimmer
January 9, 2024 12:27 1h 14m 3s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 1h 14m 3s
Merge PR #18469: Delay the lookup of csdp until the tool is actually … Check conflicts #4461: Commit 1d4d5c8 pushed by SkySkimmer
January 9, 2024 12:09 14s master
master
January 9, 2024 12:09 14s
Merge PR #18469: Delay the lookup of csdp until the tool is actually … Windows CI #2653: Commit 1d4d5c8 pushed by SkySkimmer
January 9, 2024 12:09 43m 25s master
master
January 9, 2024 12:09 43m 25s
Merge PR #18469: Delay the lookup of csdp until the tool is actually … GitHub macOS CI #2815: Commit 1d4d5c8 pushed by SkySkimmer
January 9, 2024 12:09 1h 14m 34s master
master
January 9, 2024 12:09 1h 14m 34s
Stale PRs Stale PRs #614: Scheduled
January 9, 2024 02:26 2s master
master
January 9, 2024 02:26 2s
Update dev/bench/bench.sh GitHub macOS CI #2814: Commit 5e5d45e pushed by SkySkimmer
January 8, 2024 22:07 1h 14m 11s bench-818-819
bench-818-819
January 8, 2024 22:07 1h 14m 11s
Update dev/bench/bench.sh Windows CI #2652: Commit 5e5d45e pushed by SkySkimmer
January 8, 2024 22:07 56m 14s bench-818-819
bench-818-819
January 8, 2024 22:07 56m 14s
Update dev/bench/bench.sh Check conflicts #4460: Commit 5e5d45e pushed by SkySkimmer
January 8, 2024 22:07 17s bench-818-819
bench-818-819
January 8, 2024 22:07 17s
Merge PR #18214: [zify] use the current injection to guide the transf… Check conflicts #4459: Commit 8486efa pushed by SkySkimmer
January 8, 2024 17:27 10s master
master
January 8, 2024 17:27 10s
Merge PR #18214: [zify] use the current injection to guide the transf… Windows CI #2651: Commit 8486efa pushed by SkySkimmer
January 8, 2024 17:27 50m 17s master
master
January 8, 2024 17:27 50m 17s
Merge PR #18214: [zify] use the current injection to guide the transf… GitHub macOS CI #2813: Commit 8486efa pushed by SkySkimmer
January 8, 2024 17:27 1h 16m 20s master
master
January 8, 2024 17:27 1h 16m 20s
Put parts of ltac2_plugin which depend on ltac1 in a separate plugin Check conflicts #4458: Commit fbb04f9 pushed by SkySkimmer
January 8, 2024 14:20 10s ltac2-ltac1
ltac2-ltac1
January 8, 2024 14:20 10s
Put parts of ltac2_plugin which depend on ltac1 in a separate plugin Windows CI #2650: Commit fbb04f9 pushed by SkySkimmer
January 8, 2024 14:20 55m 15s ltac2-ltac1
ltac2-ltac1
January 8, 2024 14:20 55m 15s
Put parts of ltac2_plugin which depend on ltac1 in a separate plugin GitHub macOS CI #2812: Commit fbb04f9 pushed by SkySkimmer
January 8, 2024 14:20 1h 15m 36s ltac2-ltac1
ltac2-ltac1
January 8, 2024 14:20 1h 15m 36s
changelog for more Ltac2 syntactic values Check conflicts #4457: Commit 996d4df pushed by SkySkimmer
January 8, 2024 14:13 16s ltac2-more-values
ltac2-more-values
January 8, 2024 14:13 16s
changelog for more Ltac2 syntactic values GitHub macOS CI #2811: Commit 996d4df pushed by SkySkimmer
January 8, 2024 14:13 1h 15m 27s ltac2-more-values
ltac2-more-values
January 8, 2024 14:13 1h 15m 27s
changelog for more Ltac2 syntactic values Windows CI #2649: Commit 996d4df pushed by SkySkimmer
January 8, 2024 14:13 50m 50s ltac2-more-values
ltac2-more-values
January 8, 2024 14:13 50m 50s