Skip to content

Actions: FreeAndFair/CodingStandards

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: add Creative Commons license Build/Release Coding Standards #7: Commit 5a306dd pushed by dmzimmerman
24m 40s main
main
24m 40s
chore: add Creative Commons license Build/Release Coding Standards #6: Commit 5a306dd pushed by dmzimmerman
28m 13s license
license
28m 13s
ci: use Free & Fair forks of GitHub actions in CI Build/Release Coding Standards #5: Commit 976e8e9 pushed by dmzimmerman
32m 45s main
main
32m 45s
chore: add Creative Commons license Build/Release Coding Standards #4: Commit 15d3780 pushed by dmzimmerman
30m 56s license
license
30m 56s
feat: initial draft of the coding standards Build/Release Coding Standards #3: Commit 34055ff pushed by dmzimmerman
40m 39s main
main
40m 39s