Skip to content

Actions: matthesjh/coq-tal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update version range in the Coq badge Build project #43: Commit 5fe404b pushed by matthesjh
March 11, 2024 20:55 1m 13s master
master
March 11, 2024 20:55 1m 13s
pages build and deployment pages-build-deployment #4: by matthesjh
March 11, 2024 20:55 44s
March 11, 2024 20:55 44s
Update documentation files Build project #42: Commit d869266 pushed by matthesjh
March 11, 2024 20:38 1m 53s master
master
March 11, 2024 20:38 1m 53s
pages build and deployment pages-build-deployment #3: by matthesjh
March 11, 2024 20:38 41s
March 11, 2024 20:38 41s
Test files with Coq version 8.18.0 Build project #41: Commit 59aecd3 pushed by matthesjh
December 25, 2023 19:54 1m 24s master
master
December 25, 2023 19:54 1m 24s
pages build and deployment pages-build-deployment #2: by matthesjh
December 25, 2023 19:54 39s
December 25, 2023 19:54 39s
Update documentation files Build project #40: Commit 4b0b681 pushed by matthesjh
December 25, 2023 19:43 1m 25s master
master
December 25, 2023 19:43 1m 25s
pages build and deployment pages-build-deployment #1: by matthesjh
December 25, 2023 19:43 46s
December 25, 2023 19:43 46s
Fix GitHub Actions build Build project #39: Commit 978a8fc pushed by matthesjh
September 17, 2023 22:28 1m 42s master
master
September 17, 2023 22:28 1m 42s
Test files with Coq version 8.17.1 Build project #38: Commit 0c14b22 pushed by matthesjh
September 17, 2023 22:21 54s master
master
September 17, 2023 22:21 54s
Update the copyright year to 2023 Build project #37: Commit 64fbec0 pushed by matthesjh
September 17, 2023 22:07 1m 41s master
master
September 17, 2023 22:07 1m 41s