Skip to content

Actions: Deducteam/Dedukti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix #318 .github/workflows/main.yml #255: Pull request #324 opened by GuillaumeGen
March 1, 2024 14:07 1h 19m 39s GuillaumeGen:gg_318
GuillaumeGen:gg_318
March 1, 2024 14:07 1h 19m 39s
Fix #319 .github/workflows/main.yml #254: Pull request #323 opened by GuillaumeGen
March 1, 2024 13:58 1h 26m 54s GuillaumeGen:gg_thm_without_type
GuillaumeGen:gg_thm_without_type
March 1, 2024 13:58 1h 26m 54s
Update tezt version .github/workflows/main.yml #253: Pull request #316 synchronize by GuillaumeGen
December 5, 2023 13:24 16m 26s GuillaumeGen:gg_update_tests
GuillaumeGen:gg_update_tests
December 5, 2023 13:24 16m 26s
Update tezt version .github/workflows/main.yml #252: Pull request #316 opened by GuillaumeGen
December 4, 2023 23:01 20m 20s GuillaumeGen:gg_update_tests
GuillaumeGen:gg_update_tests
December 4, 2023 23:01 20m 20s
Fix links .github/workflows/main.yml #251: Pull request #315 opened by GuillaumeGen
December 4, 2023 12:50 19m 33s GuillaumeGen:patch-1
GuillaumeGen:patch-1
December 4, 2023 12:50 19m 33s