Skip to content

Actions: Deducteam/zenon_modulo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #911776653 Dependabot Updates #22: by dependabot bot
November 4, 2024 22:58 33s
November 4, 2024 22:58 33s
github_actions in /. - Update #908097182 Dependabot Updates #21: by dependabot bot
October 28, 2024 23:05 33s
October 28, 2024 23:05 33s
Split signature and formulae (#41) .github/workflows/main.yml #47: Commit ec16031 pushed by gburel
October 24, 2024 15:46 5m 51s modulo
modulo
October 24, 2024 15:46 5m 51s
Split signature and formulae .github/workflows/main.yml #46: Pull request #41 opened by gburel
October 24, 2024 15:30 6m 1s gburel:split_sig
gburel:split_sig
October 24, 2024 15:30 6m 1s
github_actions in /. - Update #904552176 Dependabot Updates #20: by dependabot bot
October 21, 2024 22:41 38s
October 21, 2024 22:41 38s
github_actions in /. - Update #900981773 Dependabot Updates #19: by dependabot bot
October 14, 2024 22:52 33s
October 14, 2024 22:52 33s
github_actions in /. - Update #897384013 Dependabot Updates #18: by dependabot bot
October 7, 2024 22:40 33s
October 7, 2024 22:40 33s
github_actions in /. - Update #893467092 Dependabot Updates #17: by dependabot bot
September 30, 2024 22:53 37s
September 30, 2024 22:53 37s
github_actions in /. - Update #889771912 Dependabot Updates #16: by dependabot bot
September 23, 2024 23:05 37s
September 23, 2024 23:05 37s
SZS status GaveUp and new line for -dkterm (#40) .github/workflows/main.yml #45: Commit d4a7041 pushed by gburel
September 17, 2024 14:59 5m 12s modulo
modulo
September 17, 2024 14:59 5m 12s
SZS status GaveUp and new line for -dkterm .github/workflows/main.yml #44: Pull request #40 opened by gburel
September 17, 2024 14:44 1m 45s gburel:modulo
gburel:modulo
September 17, 2024 14:44 1m 45s
github_actions in /. - Update #885737274 Dependabot Updates #15: by dependabot bot
September 16, 2024 22:11 40s
September 16, 2024 22:11 40s
Add SZS option and outputs (#39) .github/workflows/main.yml #43: Commit eba0f13 pushed by gburel
September 16, 2024 10:30 1m 44s modulo
modulo
September 16, 2024 10:30 1m 44s
Add SZS option and outputs .github/workflows/main.yml #42: Pull request #39 synchronize by gburel
September 16, 2024 10:28 1m 44s gburel:modulo
gburel:modulo
September 16, 2024 10:28 1m 44s
Add SZS output + several fixes (#38) .github/workflows/main.yml #41: Commit 2c8f552 pushed by gburel
September 11, 2024 16:17 5m 44s modulo
modulo
September 11, 2024 16:17 5m 44s
Add SZS output + several fixes .github/workflows/main.yml #40: Pull request #38 opened by gburel
September 11, 2024 15:22 5m 54s gburel:modulo
gburel:modulo
September 11, 2024 15:22 5m 54s
github_actions in /. - Update #881624033 Dependabot Updates #14: by dependabot bot
September 9, 2024 22:46 46s
September 9, 2024 22:46 46s
github_actions in /. - Update #878258475 Dependabot Updates #13: by dependabot bot
September 2, 2024 22:48 32s
September 2, 2024 22:48 32s
github_actions in /. - Update #874554289 Dependabot Updates #12: by dependabot bot
August 26, 2024 22:58 34s
August 26, 2024 22:58 34s
github_actions in /. - Update #871442118 Dependabot Updates #11: by dependabot bot
August 19, 2024 22:25 36s
August 19, 2024 22:25 36s
github_actions in /. - Update #868539908 Dependabot Updates #10: by dependabot bot
August 12, 2024 22:18 34s
August 12, 2024 22:18 34s
github_actions in /. - Update #865531623 Dependabot Updates #9: by dependabot bot
August 5, 2024 22:19 39s
August 5, 2024 22:19 39s
github_actions in /. - Update #862203168 Dependabot Updates #8: by dependabot bot
July 29, 2024 22:46 34s
July 29, 2024 22:46 34s
github_actions in /. - Update #859178737 Dependabot Updates #7: by dependabot bot
July 22, 2024 22:23 34s
July 22, 2024 22:23 34s
fix dk output for GDV (#37) .github/workflows/main.yml #39: Commit 261a0e2 pushed by fblanqui
July 19, 2024 14:59 1m 51s modulo
modulo
July 19, 2024 14:59 1m 51s