Skip to content

Actions: NakajoLab/B4SMT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
update ci add more upload from ci
scala-CI #282: Commit e703ef4 pushed by pineapplehunter
April 13, 2024 19:01 23m 49s pext
April 13, 2024 19:01 23m 49s
Update README.md
scala-CI #281: Commit 58014ef pushed by pineapplehunter
April 10, 2024 07:53 1m 54s pext
April 10, 2024 07:53 1m 54s
update ci workflow
scala-CI #280: Commit b3f619a pushed by pineapplehunter
April 9, 2024 11:49 23m 53s pext
April 9, 2024 11:49 23m 53s
refactor nix files
scala-CI #279: Commit c9fb759 pushed by pineapplehunter
April 9, 2024 11:45 26m 18s pext
April 9, 2024 11:45 26m 18s
update flake lock
scala-CI #278: Commit 8491c35 pushed by pineapplehunter
April 4, 2024 03:59 31m 52s pext
April 4, 2024 03:59 31m 52s
fix tests
scala-CI #277: Commit 5c67685 pushed by pineapplehunter
April 3, 2024 10:31 24m 21s pext
April 3, 2024 10:31 24m 21s
update nix hash
scala-CI #276: Commit fb2e04e pushed by pineapplehunter
April 3, 2024 01:59 26m 9s pext
April 3, 2024 01:59 26m 9s
format
scala-CI #275: Commit c7fa0eb pushed by pineapplehunter
April 3, 2024 01:53 23m 37s pext
April 3, 2024 01:53 23m 37s
update checks
scala-CI #274: Commit c09a42e pushed by pineapplehunter
April 3, 2024 01:47 24m 33s pext
April 3, 2024 01:47 24m 33s
fix instruction cache issue
scala-CI #272: Commit 8fb389f pushed by pineapplehunter
March 28, 2024 04:30 31m 55s pext
March 28, 2024 04:30 31m 55s
fix flake
scala-CI #271: Commit f97b596 pushed by pineapplehunter
March 20, 2024 18:25 24m 28s pext
March 20, 2024 18:25 24m 28s
update flake.nix hash
scala-CI #270: Commit 109b95c pushed by pineapplehunter
March 20, 2024 18:07 24m 53s pext
March 20, 2024 18:07 24m 53s
fix formal test issue
scala-CI #269: Commit c1f285d pushed by pineapplehunter
March 20, 2024 16:46 23m 46s main
March 20, 2024 16:46 23m 46s
fix nix issues
scala-CI #268: Commit 691ca8d pushed by pineapplehunter
March 20, 2024 16:33 5m 25s main
March 20, 2024 16:33 5m 25s
fix more testing
scala-CI #267: Commit a0a826a pushed by pineapplehunter
March 20, 2024 15:52 24m 13s pext
March 20, 2024 15:52 24m 13s
Update README.md
scala-CI #266: Commit e8b55f5 pushed by pineapplehunter
March 20, 2024 15:51 2m 49s main
March 20, 2024 15:51 2m 49s
formatting
scala-CI #265: Commit 6ee9420 pushed by pineapplehunter
March 20, 2024 14:52 24m 28s pext
March 20, 2024 14:52 24m 28s
scala-CI
scala-CI #264: by pineapplehunter
March 20, 2024 14:36 31m 7s pext
March 20, 2024 14:36 31m 7s
git fix all tests
scala-CI #263: Commit 8baa9b2 pushed by pineapplehunter
March 20, 2024 13:55 1m 13s pext
March 20, 2024 13:55 1m 13s
update
scala-CI #262: Commit 3562597 pushed by pineapplehunter
March 18, 2024 10:00 36m 35s pext
March 18, 2024 10:00 36m 35s
use large instruction cache
scala-CI #261: Commit 47a0a27 pushed by pineapplehunter
March 18, 2024 09:48 41m 21s pext
March 18, 2024 09:48 41m 21s
ci on every commit
scala-CI #259: Commit d71eb4c pushed by pineapplehunter
March 13, 2024 06:00 46m 59s pext
March 13, 2024 06:00 46m 59s
update deps
scala-CI #258: Commit cfa8950 pushed by pineapplehunter
March 13, 2024 05:58 5m 27s main
March 13, 2024 05:58 5m 27s