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

Doc for sort poly Check conflicts #4015: Commit 875327f pushed by SkySkimmer
October 2, 2023 12:15 15s sort-poly
sort-poly
October 2, 2023 12:15 15s
Doc for sort poly GitHub macOS CI #2369: Commit 875327f pushed by SkySkimmer
October 2, 2023 12:15 34m 41s sort-poly
sort-poly
October 2, 2023 12:15 34m 41s
Doc for sort poly Windows CI #2207: Commit 875327f pushed by SkySkimmer
October 2, 2023 12:15 1h 3m 39s sort-poly
sort-poly
October 2, 2023 12:15 1h 3m 39s
Doc for sort poly Windows CI #2206: Commit fd32ff4 pushed by SkySkimmer
October 2, 2023 12:12 1h 18m 43s sort-poly
sort-poly
October 2, 2023 12:12 1h 18m 43s
Doc for sort poly Check conflicts #4014: Commit fd32ff4 pushed by SkySkimmer
October 2, 2023 12:12 16s sort-poly
sort-poly
October 2, 2023 12:12 16s
Doc for sort poly GitHub macOS CI #2368: Commit fd32ff4 pushed by SkySkimmer
October 2, 2023 12:12 35m 3s sort-poly
sort-poly
October 2, 2023 12:12 35m 3s
Merge PR #18031: [ssr] Rm cast notation GitHub macOS CI #2367: Commit a2bf792 pushed by SkySkimmer
October 2, 2023 10:17 36m 5s master
master
October 2, 2023 10:17 36m 5s
Merge PR #18031: [ssr] Rm cast notation Check conflicts #4013: Commit a2bf792 pushed by SkySkimmer
October 2, 2023 10:17 13s master
master
October 2, 2023 10:17 13s
Merge PR #18031: [ssr] Rm cast notation Windows CI #2205: Commit a2bf792 pushed by SkySkimmer
October 2, 2023 10:17 1h 14m 53s master
master
October 2, 2023 10:17 1h 14m 53s
Stale PRs Stale PRs #543: Scheduled
October 2, 2023 02:19 2s master
master
October 2, 2023 02:19 2s
Simplify catch_failerror implementation GitHub macOS CI #2366: Commit 8086189 pushed by SkySkimmer
September 29, 2023 15:05 35m 4s catchfailerror
catchfailerror
September 29, 2023 15:05 35m 4s
Simplify catch_failerror implementation Windows CI #2204: Commit 8086189 pushed by SkySkimmer
September 29, 2023 15:05 1h 14m 10s catchfailerror
catchfailerror
September 29, 2023 15:05 1h 14m 10s
Simplify catch_failerror implementation Check conflicts #4012: Commit 8086189 pushed by SkySkimmer
September 29, 2023 15:05 12s catchfailerror
catchfailerror
September 29, 2023 15:05 12s
Experiment with considering evars in + mode rigid for TC resolution GitHub macOS CI #2365: Commit 64458dc pushed by SkySkimmer
September 29, 2023 12:27 33m 39s hint-mode-rigid-input
hint-mode-rigid-input
September 29, 2023 12:27 33m 39s
Experiment with considering evars in + mode rigid for TC resolution Windows CI #2203: Commit 64458dc pushed by SkySkimmer
September 29, 2023 12:27 1h 18m 19s hint-mode-rigid-input
hint-mode-rigid-input
September 29, 2023 12:27 1h 18m 19s
Experiment with considering evars in + mode rigid for TC resolution Check conflicts #4011: Commit 64458dc pushed by SkySkimmer
September 29, 2023 12:27 15s hint-mode-rigid-input
hint-mode-rigid-input
September 29, 2023 12:27 15s
Experiment with considering evars in + mode rigid for TC resolution Windows CI #2202: Commit 5f6679d pushed by SkySkimmer
September 29, 2023 12:07 1h 14m 7s hint-mode-rigid-input
hint-mode-rigid-input
September 29, 2023 12:07 1h 14m 7s
Experiment with considering evars in + mode rigid for TC resolution Check conflicts #4010: Commit 5f6679d pushed by SkySkimmer
September 29, 2023 12:07 10s hint-mode-rigid-input
hint-mode-rigid-input
September 29, 2023 12:07 10s
Experiment with considering evars in + mode rigid for TC resolution GitHub macOS CI #2364: Commit 5f6679d pushed by SkySkimmer
September 29, 2023 12:07 52m 2s hint-mode-rigid-input
hint-mode-rigid-input
September 29, 2023 12:07 52m 2s
Remove dead code exception try/catch Windows CI #2201: Commit 7e3a07f pushed by SkySkimmer
September 29, 2023 11:44 1h 7m 33s unused-catch
unused-catch
September 29, 2023 11:44 1h 7m 33s
Remove dead code exception try/catch Check conflicts #4009: Commit 7e3a07f pushed by SkySkimmer
September 29, 2023 11:44 13s unused-catch
unused-catch
September 29, 2023 11:44 13s
Remove dead code exception try/catch GitHub macOS CI #2363: Commit 7e3a07f pushed by SkySkimmer
September 29, 2023 11:44 37m 38s unused-catch
unused-catch
September 29, 2023 11:44 37m 38s
Merge PR #18057: Add iff versions of two stdlib bool lemmas GitHub macOS CI #2362: Commit 41944f5 pushed by SkySkimmer
September 29, 2023 10:42 33m 58s master
master
September 29, 2023 10:42 33m 58s
Merge PR #18057: Add iff versions of two stdlib bool lemmas Windows CI #2200: Commit 41944f5 pushed by SkySkimmer
September 29, 2023 10:42 1h 21m 52s master
master
September 29, 2023 10:42 1h 21m 52s
Merge PR #18057: Add iff versions of two stdlib bool lemmas Check conflicts #4008: Commit 41944f5 pushed by SkySkimmer
September 29, 2023 10:42 12s master
master
September 29, 2023 10:42 12s