Skip to content

Actions: Deducteam/isabelle_dedukti

Actions

.github/workflows/main.yaml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yaml
128 workflow runs
128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated HOL patch for Isabelle2024 .github/workflows/main.yaml #356: Pull request #35 synchronize by melanie-taprogge
December 19, 2024 05:56 8m 51s melanie-taprogge:master
melanie-taprogge:master
December 19, 2024 05:56 8m 51s
Updated HOL patch for Isabelle2024 .github/workflows/main.yaml #355: Pull request #35 synchronize by melanie-taprogge
December 19, 2024 05:24 1m 16s melanie-taprogge:master
melanie-taprogge:master
December 19, 2024 05:24 1m 16s
Updated HOL patch for Isabelle2024 .github/workflows/main.yaml #354: Pull request #35 opened by melanie-taprogge
December 18, 2024 07:31 1m 9s melanie-taprogge:master
melanie-taprogge:master
December 18, 2024 07:31 1m 9s
turn equational axioms defining type classes into definitions (#33) .github/workflows/main.yaml #353: Commit d4c2397 pushed by fblanqui
October 30, 2024 09:00 5m 52s master
master
October 30, 2024 09:00 5m 52s
ci: use ocaml 4.14.2 instead of 4.14.1 (#34) .github/workflows/main.yaml #352: Commit febd38a pushed by fblanqui
October 30, 2024 08:44 12m 30s master
master
October 30, 2024 08:44 12m 30s
turn equational axioms defining type classes into definitions .github/workflows/main.yaml #351: Pull request #33 synchronize by fblanqui
October 30, 2024 08:20 32m 17s fblanqui:class
fblanqui:class
October 30, 2024 08:20 32m 17s
ci: use ocaml 4.14.2 instead of 4.14.1 .github/workflows/main.yaml #350: Pull request #34 opened by fblanqui
October 30, 2024 07:57 37m 40s fblanqui:ci
fblanqui:ci
October 30, 2024 07:57 37m 40s
turn equational axioms defining type classes into definitions .github/workflows/main.yaml #349: Pull request #33 opened by fblanqui
October 30, 2024 07:42 1h 9m 48s fblanqui:class
fblanqui:class
October 30, 2024 07:42 1h 9m 48s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #348: Pull request #27 edited by fblanqui
July 30, 2024 11:59 12s fblanqui:to_coq
fblanqui:to_coq
July 30, 2024 11:59 12s
add export to Coq + clean, comment and improve exporter (#27) .github/workflows/main.yaml #347: Commit e16bb20 pushed by fblanqui
July 30, 2024 11:53 15s master
master
July 30, 2024 11:53 15s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #346: Pull request #27 synchronize by fblanqui
July 30, 2024 10:50 5m 7s fblanqui:to_coq
fblanqui:to_coq
July 30, 2024 10:50 5m 7s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #345: Pull request #27 edited by fblanqui
July 30, 2024 10:49 5m 29s fblanqui:to_coq
fblanqui:to_coq
July 30, 2024 10:49 5m 29s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #344: Pull request #27 edited by fblanqui
July 30, 2024 10:47 5m 2s fblanqui:to_coq
fblanqui:to_coq
July 30, 2024 10:47 5m 2s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #343: Pull request #27 edited by fblanqui
July 30, 2024 10:43 5m 22s fblanqui:to_coq
fblanqui:to_coq
July 30, 2024 10:43 5m 22s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #342: Pull request #27 synchronize by fblanqui
July 29, 2024 21:27 5m 18s fblanqui:to_coq
fblanqui:to_coq
July 29, 2024 21:27 5m 18s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #341: Pull request #27 synchronize by fblanqui
July 29, 2024 19:10 5m 19s fblanqui:to_coq
fblanqui:to_coq
July 29, 2024 19:10 5m 19s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #340: Pull request #27 edited by fblanqui
July 29, 2024 06:31 4m 58s fblanqui:to_coq
fblanqui:to_coq
July 29, 2024 06:31 4m 58s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #339: Pull request #27 synchronize by fblanqui
July 29, 2024 06:30 6m 2s fblanqui:to_coq
fblanqui:to_coq
July 29, 2024 06:30 6m 2s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #338: Pull request #27 synchronize by fblanqui
July 28, 2024 21:04 11s fblanqui:to_coq
fblanqui:to_coq
July 28, 2024 21:04 11s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #337: Pull request #27 edited by fblanqui
July 28, 2024 19:59 5m 6s fblanqui:to_coq
fblanqui:to_coq
July 28, 2024 19:59 5m 6s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #336: Pull request #27 synchronize by fblanqui
July 28, 2024 19:56 4m 59s fblanqui:to_coq
fblanqui:to_coq
July 28, 2024 19:56 4m 59s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #335: Pull request #27 synchronize by fblanqui
July 28, 2024 19:02 5m 0s fblanqui:to_coq
fblanqui:to_coq
July 28, 2024 19:02 5m 0s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #334: Pull request #27 synchronize by fblanqui
July 28, 2024 18:07 3m 48s fblanqui:to_coq
fblanqui:to_coq
July 28, 2024 18:07 3m 48s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #333: Pull request #27 synchronize by fblanqui
July 28, 2024 17:26 5m 1s fblanqui:to_coq
fblanqui:to_coq
July 28, 2024 17:26 5m 1s
clean, comment, improve exporter + add translation from dk to coq .github/workflows/main.yaml #332: Pull request #27 synchronize by fblanqui
July 28, 2024 15:57 4m 56s fblanqui:to_coq
fblanqui:to_coq
July 28, 2024 15:57 4m 56s