Skip to content

Actions: rkunnema/tamarin-prover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

MANUAL: Uncomment offending option in latex template Tamarin compilation and regression tests #28: Commit 902e38d pushed by rkunnema
September 12, 2024 12:43 23m 41s fix-manual-deploy
fix-manual-deploy
September 12, 2024 12:43 23m 41s
Fix grammar element "terms" (#678) Tamarin compilation and regression tests #27: Commit d48f3cb pushed by rkunnema
September 12, 2024 12:41 27m 30s fix-manual-deploy
fix-manual-deploy
September 12, 2024 12:41 27m 30s
Merge branch 'develop' into fix-grammar-terms Tamarin compilation and regression tests #26: Commit 860e5a1 pushed by rkunnema
September 9, 2024 11:38 22m 58s fix-grammar-terms
fix-grammar-terms
September 9, 2024 11:38 22m 58s
Merge branch 'develop' into fix-manual-latex Tamarin compilation and regression tests #25: Commit a765acc pushed by jdreier
September 9, 2024 11:19 13m 33s fix-manual-latex
fix-manual-latex
September 9, 2024 11:19 13m 33s
Syntax: Removed \w for its definition because of pandoc/latex Tamarin compilation and regression tests #24: Commit 698e491 pushed by rkunnema
September 9, 2024 08:14 24m 56s fix-grammar-terms
fix-grammar-terms
September 9, 2024 08:14 24m 56s
MANUAL+syntax: update "term" and co. Tamarin compilation and regression tests #23: Commit a27a8ab pushed by rkunnema
September 9, 2024 07:50 27m 45s fix-grammar-terms
fix-grammar-terms
September 9, 2024 07:50 27m 45s
Missing linebreak. Tamarin compilation and regression tests #22: Commit acf9ffc pushed by rkunnema
September 9, 2024 07:12 27m 48s fix-manual-latex
fix-manual-latex
September 9, 2024 07:12 27m 48s
Fr is also reserved. Tamarin compilation and regression tests #21: Commit 669e14a pushed by rkunnema
June 19, 2024 09:39 25m 23s fix/feature-in-manual
fix/feature-in-manual
June 19, 2024 09:39 25m 23s