Skip to content

Actions: Deducteam/zenon_modulo

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
fix dk output .github/workflows/main.yml #38: Pull request #37 synchronize by fblanqui
July 19, 2024 14:47 1m 52s fblanqui:newdk
fblanqui:newdk
July 19, 2024 14:47 1m 52s
fix dk output .github/workflows/main.yml #37: Pull request #37 synchronize by fblanqui
July 19, 2024 14:16 1m 42s fblanqui:newdk
fblanqui:newdk
July 19, 2024 14:16 1m 42s
fix dk output .github/workflows/main.yml #36: Pull request #37 synchronize by fblanqui
July 19, 2024 14:03 1m 53s fblanqui:newdk
fblanqui:newdk
July 19, 2024 14:03 1m 53s
fix dk output .github/workflows/main.yml #35: Pull request #37 synchronize by fblanqui
July 19, 2024 13:46 1m 51s fblanqui:newdk
fblanqui:newdk
July 19, 2024 13:46 1m 51s
fix dk output .github/workflows/main.yml #34: Pull request #37 synchronize by fblanqui
July 19, 2024 13:32 1m 45s fblanqui:newdk
fblanqui:newdk
July 19, 2024 13:32 1m 45s
fix dk output .github/workflows/main.yml #33: Pull request #37 edited by fblanqui
July 19, 2024 12:48 2m 2s fblanqui:newdk
fblanqui:newdk
July 19, 2024 12:48 2m 2s
fix dk output .github/workflows/main.yml #32: Pull request #37 opened by fblanqui
July 19, 2024 12:47 1m 44s fblanqui:newdk
fblanqui:newdk
July 19, 2024 12:47 1m 44s
rename dummy_var into negated_conjecture (#36) .github/workflows/main.yml #31: Commit bf4213e pushed by fblanqui
July 18, 2024 13:47 1m 48s modulo
modulo
July 18, 2024 13:47 1m 48s
rename dummy_var into negated_conjecture .github/workflows/main.yml #30: Pull request #36 opened by fblanqui
July 18, 2024 12:12 1m 47s fblanqui:dummy_var
fblanqui:dummy_var
July 18, 2024 12:12 1m 47s
lltolp.ml: fix requires for lambdapi-zenon library (#35) .github/workflows/main.yml #29: Commit f185d44 pushed by fblanqui
July 17, 2024 12:05 1m 45s modulo
modulo
July 17, 2024 12:05 1m 45s
lltolp.ml: fix requires for lambdapi-zenon library .github/workflows/main.yml #28: Pull request #35 opened by fblanqui
July 17, 2024 12:02 1m 46s fblanqui:fixnewlib
fblanqui:fixnewlib
July 17, 2024 12:02 1m 46s
change lp output to use the lambdapi-zenon library (#33) .github/workflows/main.yml #27: Commit 3841c94 pushed by fblanqui
July 17, 2024 07:27 1m 44s modulo
modulo
July 17, 2024 07:27 1m 44s
Use a new Lambdapi library .github/workflows/main.yml #26: Pull request #33 synchronize by fblanqui
July 16, 2024 16:50 1m 52s fblanqui:newlib
fblanqui:newlib
July 16, 2024 16:50 1m 52s
add support for dune (#24) .github/workflows/main.yml #25: Commit 1049604 pushed by fblanqui
July 16, 2024 15:26 1m 56s modulo
modulo
July 16, 2024 15:26 1m 56s
add support for dune .github/workflows/main.yml #24: Pull request #24 edited by fblanqui
July 16, 2024 15:25 1m 46s fblanqui:dune
fblanqui:dune
July 16, 2024 15:25 1m 46s
add support for dune .github/workflows/main.yml #23: Pull request #24 synchronize by fblanqui
July 16, 2024 14:54 1m 56s fblanqui:dune
fblanqui:dune
July 16, 2024 14:54 1m 56s