Skip to content

Actions: Deducteam/Dedukti

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

allow more letters in identifiers .github/workflows/main.yml #280: Pull request #333 synchronize by fblanqui
November 17, 2024 17:27 22m 23s fblanqui:lex
fblanqui:lex
November 17, 2024 17:27 22m 23s
allow more letters in identifiers .github/workflows/main.yml #279: Pull request #333 synchronize by fblanqui
November 8, 2024 16:05 19m 19s fblanqui:lex
fblanqui:lex
November 8, 2024 16:05 19m 19s
allow more letters in identifiers .github/workflows/main.yml #278: Pull request #333 synchronize by fblanqui
November 8, 2024 15:30 22m 38s fblanqui:lex
fblanqui:lex
November 8, 2024 15:30 22m 38s
allow more letters in identifiers .github/workflows/main.yml #277: Pull request #333 opened by fblanqui
November 6, 2024 16:02 22m 17s fblanqui:lex
fblanqui:lex
November 6, 2024 16:02 22m 17s
update syntax.bnf .github/workflows/main.yml #276: Pull request #332 synchronize by fblanqui
November 6, 2024 15:52 21m 6s fblanqui:bnf
fblanqui:bnf
November 6, 2024 15:52 21m 6s
update syntax.bnf .github/workflows/main.yml #275: Pull request #332 opened by fblanqui
November 6, 2024 15:34 23m 53s fblanqui:bnf
fblanqui:bnf
November 6, 2024 15:34 23m 53s
ci: upgrade script + test various ocaml versions .github/workflows/main.yml #274: Pull request #331 synchronize by fblanqui
October 29, 2024 13:51 18m 40s fblanqui:ci
fblanqui:ci
October 29, 2024 13:51 18m 40s
ci: upgrade script + test various ocaml versions .github/workflows/main.yml #273: Pull request #331 synchronize by fblanqui
October 29, 2024 12:57 19m 4s fblanqui:ci
fblanqui:ci
October 29, 2024 12:57 19m 4s
ci: upgrade script + test various ocaml versions .github/workflows/main.yml #272: Pull request #331 synchronize by fblanqui
October 29, 2024 12:55 20m 19s fblanqui:ci
fblanqui:ci
October 29, 2024 12:55 20m 19s
ci: upgrade script + test various ocaml versions .github/workflows/main.yml #271: Pull request #331 synchronize by fblanqui
October 29, 2024 12:33 19m 16s fblanqui:ci
fblanqui:ci
October 29, 2024 12:33 19m 16s
ci: upgrade script + test various ocaml versions .github/workflows/main.yml #270: Pull request #331 synchronize by fblanqui
October 29, 2024 12:09 18m 23s fblanqui:ci
fblanqui:ci
October 29, 2024 12:09 18m 23s
ci: upgrade script + test various ocaml versions .github/workflows/main.yml #269: Pull request #331 synchronize by fblanqui
October 29, 2024 11:32 23m 2s fblanqui:ci
fblanqui:ci
October 29, 2024 11:32 23m 2s
ci: upgrade script + test various ocaml versions .github/workflows/main.yml #268: Pull request #331 opened by fblanqui
October 29, 2024 11:30 22s fblanqui:ci
fblanqui:ci
October 29, 2024 11:30 22s
use open_[in|out]_bin instead of open_[in|out] (fix #329) .github/workflows/main.yml #267: Pull request #330 opened by fblanqui
October 29, 2024 07:39 23m 40s fblanqui:bin
fblanqui:bin
October 29, 2024 07:39 23m 40s
Fix #295 .github/workflows/main.yml #266: Pull request #325 synchronize by GuillaumeGen
April 8, 2024 13:59 18m 43s GuillaumeGen:gg_295
GuillaumeGen:gg_295
April 8, 2024 13:59 18m 43s
Fix #295 .github/workflows/main.yml #265: Pull request #325 synchronize by GuillaumeGen
April 8, 2024 13:14 15m 55s GuillaumeGen:gg_295
GuillaumeGen:gg_295
April 8, 2024 13:14 15m 55s
Fix #295 .github/workflows/main.yml #264: Pull request #325 synchronize by GuillaumeGen
April 8, 2024 12:36 16m 43s GuillaumeGen:gg_295
GuillaumeGen:gg_295
April 8, 2024 12:36 16m 43s
Fix #295 .github/workflows/main.yml #263: Pull request #325 synchronize by GuillaumeGen
April 8, 2024 12:29 19m 53s GuillaumeGen:gg_295
GuillaumeGen:gg_295
April 8, 2024 12:29 19m 53s
Fix #319 .github/workflows/main.yml #262: Pull request #323 synchronize by gabrielhdt
April 7, 2024 17:03 21m 23s GuillaumeGen:gg_thm_without_type
GuillaumeGen:gg_thm_without_type
April 7, 2024 17:03 21m 23s
Add check that all tests are mentionned in tests/main .github/workflows/main.yml #261: Pull request #326 synchronize by GuillaumeGen
March 1, 2024 23:11 17m 15s GuillaumeGen:gg_check_tests
GuillaumeGen:gg_check_tests
March 1, 2024 23:11 17m 15s
Add check that all tests are mentionned in tests/main .github/workflows/main.yml #260: Pull request #326 synchronize by GuillaumeGen
March 1, 2024 22:55 17m 20s GuillaumeGen:gg_check_tests
GuillaumeGen:gg_check_tests
March 1, 2024 22:55 17m 20s
See that non-referenced test leads to failed CI .github/workflows/main.yml #259: Pull request #327 opened by GuillaumeGen
March 1, 2024 22:33 29m 34s GuillaumeGen:gg_test_wrong
GuillaumeGen:gg_test_wrong
March 1, 2024 22:33 29m 34s
Add check that all tests are mentionned in tests/main .github/workflows/main.yml #258: Pull request #326 opened by GuillaumeGen
March 1, 2024 22:29 19m 23s GuillaumeGen:gg_check_tests
GuillaumeGen:gg_check_tests
March 1, 2024 22:29 19m 23s
Fix #295 .github/workflows/main.yml #257: Pull request #325 synchronize by GuillaumeGen
March 1, 2024 19:11 17m 5s GuillaumeGen:gg_295
GuillaumeGen:gg_295
March 1, 2024 19:11 17m 5s
Fix #295 .github/workflows/main.yml #256: Pull request #325 opened by GuillaumeGen
March 1, 2024 17:37 20m 44s GuillaumeGen:gg_295
GuillaumeGen:gg_295
March 1, 2024 17:37 20m 44s