Skip to content

Actions: FreeAndFair/CodingStandards

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: fix continuous integration/deployment script Build/Release Coding Standards #16: Commit bb3f1db pushed by dmzimmerman
31m 29s main
main
31m 29s
chore: fix continuous integration/deployment script Build/Release Coding Standards #15: Commit bdf7367 pushed by dmzimmerman
25m 53s main
main
25m 53s
chore: fix continuous integration/deployment script Build/Release Coding Standards #14: Commit bdf7367 pushed by dmzimmerman
26m 44s tamarin-standard
tamarin-standard
26m 44s
feat: initial Tamarin coding standard Build/Release Coding Standards #13: Commit 819959e pushed by dmzimmerman
18s tamarin-standard
tamarin-standard
18s
feat: added file structure/compositionality information Build/Release Coding Standards #12: Commit a5cf7fb pushed by dmzimmerman
35m 52s tamarin-standard
tamarin-standard
35m 52s
fix: refined language around --precompute-only Build/Release Coding Standards #11: Commit 49f6822 pushed by dmzimmerman
32m 33s tamarin-standard
tamarin-standard
32m 33s
fix: refined language around source lemmas Build/Release Coding Standards #10: Commit 3b1b897 pushed by dmzimmerman
1h 3m 56s tamarin-standard
tamarin-standard
1h 3m 56s
feat: added text about executability lemma Build/Release Coding Standards #9: Commit 33cc89c pushed by dmzimmerman
2m 5s tamarin-standard
tamarin-standard
2m 5s
feat: initial Tamarin coding standard Build/Release Coding Standards #8: Commit f97cc76 pushed by dmzimmerman
29m 50s tamarin-standard
tamarin-standard
29m 50s