Skip to content

Actions: formal-land/coq-of-go

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4 from formal-land/guillaume-claret@add-mit-license Go #17: Commit be3c954 pushed by clarus
May 1, 2024 11:26 19s main
main
May 1, 2024 11:26 19s
Add MIT license Go #16: Pull request #4 opened by clarus
May 1, 2024 11:26 23s guillaume-claret@add-mit-license
guillaume-claret@add-mit-license
May 1, 2024 11:26 23s
Update README.md Go #15: Commit a321acf pushed by clarus
May 1, 2024 08:05 28s main
main
May 1, 2024 08:05 28s
Draft: More improvements to the translation Go #14: Pull request #3 opened by clarus
February 22, 2024 15:45 24s guillaume-claret@various-improvements-translation-2024-02-21
guillaume-claret@various-improvements-translation-2024-02-21
February 22, 2024 15:45 24s
Merge pull request #2 from formal-land/guillaume-claret@translate-mor… Go #13: Commit 15f50ec pushed by clarus
February 21, 2024 14:57 28s main
main
February 21, 2024 14:57 28s
Update README.md Go #12: Commit f577742 pushed by clarus
February 20, 2024 22:26 20s main
main
February 20, 2024 22:26 20s
More translation of the constant package Go #11: Pull request #2 synchronize by clarus
February 19, 2024 15:11 39s guillaume-claret@translate-more-of-constant-example
guillaume-claret@translate-more-of-constant-example
February 19, 2024 15:11 39s
More translation of the constant package Go #10: Pull request #2 synchronize by clarus
February 19, 2024 15:11 33s guillaume-claret@translate-more-of-constant-example
guillaume-claret@translate-more-of-constant-example
February 19, 2024 15:11 33s
More translation of the constant package Go #9: Pull request #2 synchronize by clarus
February 19, 2024 15:05 32s guillaume-claret@translate-more-of-constant-example
guillaume-claret@translate-more-of-constant-example
February 19, 2024 15:05 32s
More translation of the constant package Go #8: Pull request #2 synchronize by clarus
February 19, 2024 11:01 44s guillaume-claret@translate-more-of-constant-example
guillaume-claret@translate-more-of-constant-example
February 19, 2024 11:01 44s
More translation of the constant package Go #7: Pull request #2 opened by clarus
February 19, 2024 10:54 28s guillaume-claret@translate-more-of-constant-example
guillaume-claret@translate-more-of-constant-example
February 19, 2024 10:54 28s
Merge pull request #1 from formal-land/guillaume-claret@add-ci-with-s… Go #6: Commit 0e4ff70 pushed by clarus
February 16, 2024 12:22 35s main
main
February 16, 2024 12:22 35s
Add ci with starting code Go #5: Pull request #1 synchronize by clarus
February 16, 2024 12:21 35s guillaume-claret@add-ci-with-starting-code
guillaume-claret@add-ci-with-starting-code
February 16, 2024 12:21 35s
Add ci with starting code Go #4: Pull request #1 synchronize by clarus
February 16, 2024 10:24 33s guillaume-claret@add-ci-with-starting-code
guillaume-claret@add-ci-with-starting-code
February 16, 2024 10:24 33s
Add ci with starting code Go #3: Pull request #1 synchronize by clarus
February 16, 2024 10:04 29s guillaume-claret@add-ci-with-starting-code
guillaume-claret@add-ci-with-starting-code
February 16, 2024 10:04 29s
Add ci with starting code Go #2: Pull request #1 synchronize by clarus
December 1, 2023 23:37 34s guillaume-claret@add-ci-with-starting-code
guillaume-claret@add-ci-with-starting-code
December 1, 2023 23:37 34s
Add ci with starting code Go #1: Pull request #1 opened by clarus
December 1, 2023 23:36 15s guillaume-claret@add-ci-with-starting-code
guillaume-claret@add-ci-with-starting-code
December 1, 2023 23:36 15s