Skip to content

Actions: SkySkimmer/rewriter

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
20 workflow runs
20 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI (Coq, docker, dev) CI (Coq, docker, dev) #10: Scheduled
August 1, 2023 01:18 1m 50s master
master
August 1, 2023 01:18 1m 50s
CI (Coq) CI (Coq) #10: Scheduled
August 1, 2023 00:44 15m 46s master
master
August 1, 2023 00:44 15m 46s
CI (Coq, docker, dev) CI (Coq, docker, dev) #9: Scheduled
July 1, 2023 01:45 1m 40s master
master
July 1, 2023 01:45 1m 40s
CI (Coq) CI (Coq) #9: Scheduled
July 1, 2023 00:51 11m 18s master
master
July 1, 2023 00:51 11m 18s
CI (Coq, docker, dev) CI (Coq, docker, dev) #8: Scheduled
June 1, 2023 01:51 1m 22s master
master
June 1, 2023 01:51 1m 22s
CI (Coq) CI (Coq) #8: Scheduled
June 1, 2023 00:51 16m 13s master
master
June 1, 2023 00:51 16m 13s
Adapt to coq/coq#17475 (Ltac2 externals can have arity 0) CI (Coq, docker, dev) #7: Commit dd424ea pushed by SkySkimmer
May 2, 2023 08:02 8m 31s ltac2-defineval
ltac2-defineval
May 2, 2023 08:02 8m 31s
Adapt to coq/coq#17475 (Ltac2 externals can have arity 0) CI (Coq) #7: Commit dd424ea pushed by SkySkimmer
May 2, 2023 08:02 11m 7s ltac2-defineval
ltac2-defineval
May 2, 2023 08:02 11m 7s
Merge pull request #101 from SkySkimmer/tac2plugin CI (Coq) #6: Commit f532c8b pushed by SkySkimmer
May 2, 2023 08:02 14m 26s master
master
May 2, 2023 08:02 14m 26s
Merge pull request #101 from SkySkimmer/tac2plugin CI (Coq, docker, dev) #6: Commit f532c8b pushed by SkySkimmer
May 2, 2023 08:02 1m 33s master
master
May 2, 2023 08:02 1m 33s
Adapt to coq/coq#17475 (Ltac2 externals can have arity 0) CI (Coq, docker, dev) #5: Commit 3fda548 pushed by JasonGross
May 1, 2023 20:21 1m 24s ltac2-defineval
ltac2-defineval
May 1, 2023 20:21 1m 24s
Adapt to coq/coq#17475 (Ltac2 externals can have arity 0) CI (Coq) #5: Commit 3fda548 pushed by JasonGross
May 1, 2023 20:21 12m 58s ltac2-defineval
ltac2-defineval
May 1, 2023 20:21 12m 58s
Adapt to coq/coq#17475 (Ltac2 externals can have arity 0) CI (Coq) #4: Commit 73a462b pushed by SkySkimmer
April 28, 2023 11:47 14m 4s ltac2-defineval
ltac2-defineval
April 28, 2023 11:47 14m 4s
Adapt to coq/coq#17475 (Ltac2 externals can have arity 0) CI (Coq, docker, dev) #4: Commit 73a462b pushed by SkySkimmer
April 28, 2023 11:47 1m 42s ltac2-defineval
ltac2-defineval
April 28, 2023 11:47 1m 42s
Adapt to coq/coq#17533 (use correct plugin name in ltac2_extra external) CI (Coq, docker, dev) #3: Commit f986918 pushed by SkySkimmer
April 28, 2023 11:44 1m 37s tac2plugin
tac2plugin
April 28, 2023 11:44 1m 37s
Adapt to coq/coq#17533 (use correct plugin name in ltac2_extra external) CI (Coq) #3: Commit f986918 pushed by SkySkimmer
April 28, 2023 11:44 13m 21s tac2plugin
tac2plugin
April 28, 2023 11:44 13m 21s
Adapt to coq/coq#17533 (use correct plugin name in ltac2_extra external CI (Coq, docker, dev) #2: Commit cbb9861 pushed by SkySkimmer
April 28, 2023 11:44 1m 36s tac2plugin
tac2plugin
April 28, 2023 11:44 1m 36s
Adapt to coq/coq#17533 (use correct plugin name in ltac2_extra external CI (Coq) #2: Commit cbb9861 pushed by SkySkimmer
April 28, 2023 11:44 15m 8s tac2plugin
tac2plugin
April 28, 2023 11:44 15m 8s
Adapt to coq/coq#17533 (use correct plugin name in ltac2_extra external CI (Coq, docker, dev) #1: Commit cbb9861 pushed by SkySkimmer
April 28, 2023 11:44 1m 54s tac2plugin
tac2plugin
April 28, 2023 11:44 1m 54s
Adapt to coq/coq#17533 (use correct plugin name in ltac2_extra external CI (Coq) #1: Commit cbb9861 pushed by SkySkimmer
April 28, 2023 11:44 12m 44s tac2plugin
tac2plugin
April 28, 2023 11:44 12m 44s