Skip to content

Actions: SkySkimmer/coq-ltac2-compiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Array.empty precompilation (#25) Docker CI #43: Commit 30ee5bb pushed by SkySkimmer
April 24, 2024 11:39 2m 12s main
main
April 24, 2024 11:39 2m 12s
Fix Array.empty precompilation Docker CI #42: Pull request #25 synchronize by SkySkimmer
April 24, 2024 11:37 2m 14s fix-array-empty
fix-array-empty
April 24, 2024 11:37 2m 14s
Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) (#23) Docker CI #41: Commit a8f8b83 pushed by SkySkimmer
February 7, 2024 14:47 2m 8s main
main
February 7, 2024 14:47 2m 8s
Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) Docker CI #40: Pull request #23 opened by SkySkimmer
February 6, 2024 11:47 1m 45s split-tac2ffi
split-tac2ffi
February 6, 2024 11:47 1m 45s
Put safety thunking in auxiliary function (#22) Docker CI #39: Commit 9fd8b13 pushed by SkySkimmer
January 9, 2024 14:00 2m 12s main
main
January 9, 2024 14:00 2m 12s
Put safety thunking in auxiliary function Docker CI #38: Pull request #22 opened by SkySkimmer
December 19, 2023 14:32 2m 3s dethunk
dethunk
December 19, 2023 14:32 2m 3s
More precise monad thunking (#21) Docker CI #37: Commit 8e17108 pushed by SkySkimmer
December 4, 2023 16:21 2m 9s main
main
December 4, 2023 16:21 2m 9s
More precise monad thunking Docker CI #36: Pull request #21 opened by SkySkimmer
December 4, 2023 16:17 2m 6s better-thunking
better-thunking
December 4, 2023 16:17 2m 6s
Translate non recursive let to nontac expr when possible (#20) Docker CI #35: Commit 6ed98ce pushed by SkySkimmer
December 4, 2023 15:08 2m 7s main
main
December 4, 2023 15:08 2m 7s
Translate non recursive let to nontac expr when possible Docker CI #34: Pull request #20 opened by SkySkimmer
December 4, 2023 14:45 2m 13s nontac-let
nontac-let
December 4, 2023 14:45 2m 13s
Monad-thunk every nontrivial nontac_expr (#19) Docker CI #33: Commit 4e1a3f7 pushed by SkySkimmer
December 4, 2023 14:00 2m 7s main
main
December 4, 2023 14:00 2m 7s
Monad-thunk every nontrivial nontac_expr Docker CI #32: Pull request #19 opened by SkySkimmer
December 4, 2023 13:33 2m 4s bug-17
bug-17
December 4, 2023 13:33 2m 4s
Silence warning in test (#18) Docker CI #31: Commit 9f6ed69 pushed by SkySkimmer
December 4, 2023 13:02 2m 1s main
main
December 4, 2023 13:02 2m 1s
Silence warning in test Docker CI #30: Pull request #18 opened by SkySkimmer
December 4, 2023 12:42 2m 5s nowarn-test
nowarn-test
December 4, 2023 12:42 2m 5s
Fix mutable skipping in recursive mode (#15) Docker CI #29: Commit 886c17f pushed by SkySkimmer
November 4, 2023 13:37 2m 1s main
main
November 4, 2023 13:37 2m 1s
Fix mutable skipping in recursive mode Docker CI #28: Pull request #15 synchronize by SkySkimmer
November 4, 2023 12:23 2m 5s fix-mut-skip
fix-mut-skip
November 4, 2023 12:23 2m 5s
Fix mutable skipping in recursive mode Docker CI #27: Pull request #15 opened by SkySkimmer
November 4, 2023 12:23 2m 22s fix-mut-skip
fix-mut-skip
November 4, 2023 12:23 2m 22s
Adapt to coq/coq#18139 (pr_tacref takes avoid set) (#3) Docker CI #26: Commit bc4c635 pushed by SkySkimmer
October 30, 2023 12:06 2m 22s main
main
October 30, 2023 12:06 2m 22s
Fix support for ocaml < 4.13 (avoid String.for_all) (#13) Docker CI #25: Commit 76559d6 pushed by SkySkimmer
October 25, 2023 11:48 2m 24s main
main
October 25, 2023 11:48 2m 24s
Fix support for ocaml < 4.13 (avoid String.for_all) Docker CI #24: Pull request #13 opened by SkySkimmer
October 25, 2023 11:47 2m 21s old-ocaml
old-ocaml
October 25, 2023 11:47 2m 21s
Basic support for Ltac2 Backtrace / Ltac Profiling Docker CI #23: Pull request #12 opened by SkySkimmer
October 24, 2023 10:05 2m 33s backtrace
backtrace
October 24, 2023 10:05 2m 33s
Support unicode in identifiers (#11) Docker CI #22: Commit 3994b4b pushed by SkySkimmer
October 24, 2023 09:43 2m 32s main
main
October 24, 2023 09:43 2m 32s
Support unicode in identifiers Docker CI #21: Pull request #11 opened by SkySkimmer
October 24, 2023 09:40 2m 56s unicode-ids
unicode-ids
October 24, 2023 09:40 2m 56s
Update README.md (#9) Docker CI #20: Commit df9b1a2 pushed by SkySkimmer
October 23, 2023 17:15 2m 32s main
main
October 23, 2023 17:15 2m 32s
Update README.md Docker CI #19: Pull request #9 opened by SkySkimmer
October 23, 2023 17:15 3m 2s SkySkimmer-patch-1
SkySkimmer-patch-1
October 23, 2023 17:15 3m 2s