Skip to content

Actions: atomb/dafny

Actions

Build DafnyRef.pdf

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
refman.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use ubuntu-latest for refman.yml Build DafnyRef.pdf #68: Commit c5ed0d5 pushed by atomb
February 5, 2024 23:44 Failure dafnyref-tectonic
dafnyref-tectonic
February 5, 2024 23:44 Failure
Attempt to build DafnyRef using Tectonic Build DafnyRef.pdf #67: Commit 893e9a7 pushed by atomb
February 5, 2024 23:41 Failure dafnyref-tectonic
dafnyref-tectonic
February 5, 2024 23:41 Failure
Change job name Build DafnyRef.pdf #66: Commit 6e71e3c pushed by atomb
September 1, 2023 19:53 Failure refman-linux
refman-linux
September 1, 2023 19:53 Failure
Ditto Build DafnyRef.pdf #65: Commit b89b32a pushed by atomb
September 1, 2023 15:56 Failure refman-linux
refman-linux
September 1, 2023 15:56 Failure