Skip to content

Actions: SkySkimmer/coq-ltac2-compiler

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
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