Skip to content

Actions: HepLib/FIRE

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rm .DS_Store .github/workflows/main.yml #40: Commit af4d960 pushed by F-Feng
6m 27s main
main
6m 27s
use MiMalloc .github/workflows/main.yml #39: Commit 97b4386 pushed by F-Feng
6m 34s main
main
6m 34s
update to latest fermat .github/workflows/main.yml #38: Commit 30e4f00 pushed by F-Feng
6m 39s main
main
6m 39s
update flint to 3.4.0 .github/workflows/main.yml #37: Commit e88cf9f pushed by F-Feng
7m 0s main
main
7m 0s
Update UserInterfaceState.xcuserstate .github/workflows/main.yml #36: Commit 2923ea6 pushed by F-Feng
7m 46s main
main
7m 46s
update Makefile .github/workflows/main.yml #35: Commit 6d364f1 pushed by F-Feng
7m 45s main
main
7m 45s
add -timeout option in forward-reduction .github/workflows/main.yml #34: Commit c93bdd8 pushed by F-Feng
6m 54s main
main
6m 54s
update to latest version .github/workflows/main.yml #33: Commit 30554d0 pushed by F-Feng
7m 13s main
main
7m 13s
update to latest version .github/workflows/main.yml #32: Commit fc23fd3 pushed by F-Feng
6m 59s main
main
6m 59s