Skip to content

Actions: Timmmm/sail-riscv

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
33 workflow run results
33 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify softfloat interface by removing write_fflags CI #21: Commit 2d18a15 pushed by Timmmm
October 23, 2023 09:21 11m 34s user/timh/remove_write_fflags
user/timh/remove_write_fflags
October 23, 2023 09:21 11m 34s
Simplify prelude.sail by including generic_equality.sail and mapping.… CI #20: Commit 6578d5d pushed by Timmmm
October 10, 2023 12:19 33m 24s user/timh/prelude_fixes
user/timh/prelude_fixes
October 10, 2023 12:19 33m 24s
Rename string_of_int to dec_str CI #19: Commit f0df2cd pushed by Timmmm
October 10, 2023 12:14 32m 8s user/timh/rename_string_of_int
user/timh/rename_string_of_int
October 10, 2023 12:14 32m 8s
Fix opam warning CI #18: Commit a10e42a pushed by Timmmm
October 10, 2023 12:11 31m 16s user/timh/opam_warning
user/timh/opam_warning
October 10, 2023 12:11 31m 16s
Rename enable-fiom to enable-writable-fiom CI #17: Commit da76e06 pushed by Timmmm
October 10, 2023 09:12 24m 25s user/timh/menvcfg
user/timh/menvcfg
October 10, 2023 09:12 24m 25s
Implement menvcfg CI #16: Commit 338d6bc pushed by Timmmm
September 24, 2023 20:30 30m 34s user/timh/menvcfg
user/timh/menvcfg
September 24, 2023 20:30 30m 34s
Remove duplicate shift definitions CI #15: Commit f3ff745 pushed by Timmmm
September 18, 2023 12:02 26m 45s user/timh/remove_duplicate_shifts
user/timh/remove_duplicate_shifts
September 18, 2023 12:02 26m 45s
Remove duplicate shift definitions CI #14: Commit 0c63bbe pushed by Timmmm
September 18, 2023 11:59 9m 30s user/timh/remove_duplicate_shifts
user/timh/remove_duplicate_shifts
September 18, 2023 11:59 9m 30s