Skip to content

Actions: rems-project/cn-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
320 workflow runs
320 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #53 from rems-project/mdd/write-example-cleanup Deploy the CN tutorial to GitHub Pages #66: Commit 1fc7c0a pushed by cp526
July 22, 2024 13:28 52s main
main
July 22, 2024 13:28 52s
Merge pull request #56 from rems-project/use-cn-verify Test all examples with CN #54: Commit 813d5a0 pushed by cp526
July 22, 2024 13:25 3m 22s main
main
July 22, 2024 13:25 3m 22s
Merge pull request #56 from rems-project/use-cn-verify Deploy the CN tutorial to GitHub Pages #65: Commit 813d5a0 pushed by cp526
July 22, 2024 13:25 52s main
main
July 22, 2024 13:25 52s
Fix #55 - Use cn verify Test all examples with CN #53: Pull request #56 opened by dc-mak
July 22, 2024 11:33 12m 45s use-cn-verify
use-cn-verify
July 22, 2024 11:33 12m 45s
Example cleanup: remove redundant instantiate, add stronger post to write_5 example Test all examples with CN #52: Pull request #53 opened by septract
July 20, 2024 04:00 12m 0s mdd/write-example-cleanup
mdd/write-example-cleanup
July 20, 2024 04:00 12m 0s
Grab bag of small repo cleanup changes Test all examples with CN #51: Pull request #52 opened by septract
July 20, 2024 03:59 12m 22s mdd/repo-cleanup
mdd/repo-cleanup
July 20, 2024 03:59 12m 22s
Create example of reading a zero-initialized array (#49) Deploy the CN tutorial to GitHub Pages #64: Commit 6a1864e pushed by septract
July 20, 2024 03:33 49s main
main
July 20, 2024 03:33 49s
Create example of reading a zero-initialized array (#49) Test all examples with CN #50: Commit 6a1864e pushed by septract
July 20, 2024 03:33 12m 52s main
main
July 20, 2024 03:33 12m 52s
Automatically build a dump of SMT output from recently changed files Test all examples with CN #49: Pull request #47 synchronize by septract
July 20, 2024 00:36 12m 10s mdd/dump-smt
mdd/dump-smt
July 20, 2024 00:36 12m 10s
Removed hard-coded repo name in CI script (#48) Test all examples with CN #48: Commit 7805fe8 pushed by septract
July 20, 2024 00:14 12m 35s main
main
July 20, 2024 00:14 12m 35s
Removed hard-coded repo name in CI script (#48) Deploy the CN tutorial to GitHub Pages #63: Commit 7805fe8 pushed by septract
July 20, 2024 00:14 52s main
main
July 20, 2024 00:14 52s
Removed hard-coded repo name in CI script Test all examples with CN #47: Pull request #48 synchronize by septract
July 20, 2024 00:13 11m 47s mdd/fix-ci-script
mdd/fix-ci-script
July 20, 2024 00:13 11m 47s
Test PR - CI should fail Test all examples with CN #46: Pull request #50 opened by septract
July 19, 2024 23:22 12m 14s mdd/bad-branch
mdd/bad-branch
July 19, 2024 23:22 12m 14s
Example: reading a zero-initialized array Test all examples with CN #45: Pull request #49 opened by samcowger
July 19, 2024 23:13 12m 32s samcowger:sc/array-read
samcowger:sc/array-read
July 19, 2024 23:13 12m 32s
Removed hard-coded repo name in CI script Test all examples with CN #44: Pull request #48 opened by septract
July 19, 2024 23:12 12m 40s mdd/fix-ci-script
mdd/fix-ci-script
July 19, 2024 23:12 12m 40s
Merge pull request #44 from rems-project/austell_runway_example Test all examples with CN #43: Commit 49898b0 pushed by cp526
July 19, 2024 10:56 12m 33s main
main
July 19, 2024 10:56 12m 33s
Merge pull request #44 from rems-project/austell_runway_example Deploy the CN tutorial to GitHub Pages #62: Commit 49898b0 pushed by cp526
July 19, 2024 10:56 48s main
main
July 19, 2024 10:56 48s
Merge pull request #34 from yav/main Test all examples with CN #42: Commit d8b8d15 pushed by cp526
July 19, 2024 10:54 1m 31s main
main
July 19, 2024 10:54 1m 31s
Merge pull request #34 from yav/main Deploy the CN tutorial to GitHub Pages #61: Commit d8b8d15 pushed by cp526
July 19, 2024 10:54 52s main
main
July 19, 2024 10:54 52s
Re-add division files Deploy the CN tutorial to GitHub Pages #60: Commit 022500f pushed by dc-mak
July 18, 2024 14:43 54s main
main
July 18, 2024 14:43 54s
Re-add division files Test all examples with CN #41: Commit 022500f pushed by dc-mak
July 18, 2024 14:43 12m 26s main
main
July 18, 2024 14:43 12m 26s
Temporarily delete division crash files Deploy the CN tutorial to GitHub Pages #59: Commit 38051eb pushed by dc-mak
July 18, 2024 12:30 52s main
main
July 18, 2024 12:30 52s
Temporarily delete division crash files Test all examples with CN #40: Commit 38051eb pushed by dc-mak
July 18, 2024 12:30 11m 59s main
main
July 18, 2024 12:30 11m 59s
Automatically build a dump of SMT output from recently changed files Test all examples with CN #39: Pull request #47 synchronize by septract
July 18, 2024 06:13 12m 49s mdd/dump-smt
mdd/dump-smt
July 18, 2024 06:13 12m 49s
Automatically build a dump of SMT output from recently changed files Test all examples with CN #38: Pull request #47 opened by septract
July 18, 2024 05:51 12m 3s mdd/dump-smt
mdd/dump-smt
July 18, 2024 05:51 12m 3s