Skip to content

Actions: AllanBlanchard/tutoriel_wp

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

new-content: counter-examples CI #10: Pull request #70 opened by AllanBlanchard
November 11, 2024 10:42 5m 19s new-content/counter-examples
new-content/counter-examples
November 11, 2024 10:42 5m 19s
Merge pull request #69 from AllanBlanchard/config/move-from-z3-to-cvc5 CI #9: Commit 78dc1dd pushed by AllanBlanchard
November 9, 2024 21:22 5m 18s master
master
November 9, 2024 21:22 5m 18s
Use CVC5 instead of Z3 CI #8: Pull request #69 synchronize by AllanBlanchard
November 9, 2024 21:18 5m 16s config/move-from-z3-to-cvc5
config/move-from-z3-to-cvc5
November 9, 2024 21:18 5m 16s
Use CVC5 instead of Z3 CI #7: Pull request #69 opened by AllanBlanchard
November 9, 2024 21:12 5m 19s config/move-from-z3-to-cvc5
config/move-from-z3-to-cvc5
November 9, 2024 21:12 5m 19s
Save Dockerfile for the docker image used for verifying code CI #6: Commit 5e17c2f pushed by AllanBlanchard
November 2, 2024 16:54 4m 56s master
master
November 2, 2024 16:54 4m 56s
Merge pull request #68 from AllanBlanchard/pdfs-ci CI #5: Commit 0a2b4db pushed by AllanBlanchard
November 2, 2024 16:38 4m 55s master
master
November 2, 2024 16:38 4m 55s
PDFs in separate CIs + use latex image CI #4: Pull request #68 synchronize by AllanBlanchard
November 2, 2024 16:32 5m 5s pdfs-ci
pdfs-ci
November 2, 2024 16:32 5m 5s
PDFs in separate CIs + use latex image CI #3: Pull request #68 synchronize by AllanBlanchard
November 2, 2024 15:46 5m 1s pdfs-ci
pdfs-ci
November 2, 2024 15:46 5m 1s
More stable tests CI #2: Commit d89d854 pushed by AllanBlanchard
November 2, 2024 15:46 4m 58s pdfs-ci
pdfs-ci
November 2, 2024 15:46 4m 58s
Try that CI #1: Commit ba2e24f pushed by AllanBlanchard
November 1, 2024 16:34 1m 21s pdfs-ci
pdfs-ci
November 1, 2024 16:34 1m 21s