Skip to content

Actions: matthesjh/coq-tal

Actions

Build project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
4 workflow runs
4 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
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
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
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