Skip to content

Actions: MartynF/fiat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

purge openmp in C code build #6: Commit 8dc9fa6 pushed by MartynF
March 7, 2024 14:33 37m 57s main
main
March 7, 2024 14:33 37m 57s
use oml_my_threads and fix indexing for the no openmp case build #5: Commit 5f0ee42 pushed by MartynF
March 6, 2024 14:07 27m 25s main
main
March 6, 2024 14:07 27m 25s
protect papi output region build #4: Commit 6fba0f1 pushed by MartynF
March 6, 2024 12:27 35m 36s main
main
March 6, 2024 12:27 35m 36s
ensure long_long is defined if papi.h is not available build #3: Commit 0821347 pushed by MartynF
March 6, 2024 10:09 23m 51s main
main
March 6, 2024 10:09 23m 51s
build build #2: Manually run by MartynF
March 6, 2024 08:26 47m 42s main
main
March 6, 2024 08:26 47m 42s
build build #1: Manually run by MartynF
March 6, 2024 08:26 40m 50s main
main
March 6, 2024 08:26 40m 50s