Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27,931 workflow runs
27,931 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily soak test workflow Daily soak test workflow #196: Scheduled
November 13, 2024 03:34 14m 13s master
master
November 13, 2024 03:34 14m 13s
Dafny to Rust : Object::from_ref is unsound Issue Update for Fuzzer #165: Issue #5851 closed by MikaelMayer
November 12, 2024 22:22 13s
November 12, 2024 22:22 13s
Python MutableMap should release locks if unhandled exception is raised Issue Update for Fuzzer #164: Issue #5913 opened by lucasmcdonald3
November 12, 2024 20:10 11s
November 12, 2024 20:10 11s
In Rust, Main fails to pass arguments Issue Update for Fuzzer #163: Issue #5724 closed by keyboardDrummer
November 12, 2024 20:09 15s
November 12, 2024 20:09 15s
Fix 5724 compile suffix main arguments Updating CompFuzzCI on PR Closed #99: Pull request #5910 closed by keyboardDrummer
November 12, 2024 20:09 11s fix-5724-compile-suffix-main-arguments
fix-5724-compile-suffix-main-arguments
November 12, 2024 20:09 11s
Fix 5724 compile suffix main arguments (#5910) Deploy Jekyll site to Pages #383: Commit 5f23301 pushed by keyboardDrummer
November 12, 2024 20:09 48s master
master
November 12, 2024 20:09 48s
Fix 5724 compile suffix main arguments Build and Test Dafny Standard Libraries #3779: Pull request #5910 synchronize by keyboardDrummer
November 12, 2024 15:40 22m 52s fix-5724-compile-suffix-main-arguments
fix-5724-compile-suffix-main-arguments
November 12, 2024 15:40 22m 52s
Fix 5724 compile suffix main arguments Test documentation #10562: Pull request #5910 synchronize by keyboardDrummer
November 12, 2024 15:40 17m 52s fix-5724-compile-suffix-main-arguments
fix-5724-compile-suffix-main-arguments
November 12, 2024 15:40 17m 52s
Fix 5724 compile suffix main arguments Build and Test #19513: Pull request #5910 synchronize by keyboardDrummer
November 12, 2024 15:40 25m 55s fix-5724-compile-suffix-main-arguments
fix-5724-compile-suffix-main-arguments
November 12, 2024 15:40 25m 55s
Fix 5724 compile suffix main arguments Fuzzing on PR #496: Pull request #5910 synchronize by keyboardDrummer
November 12, 2024 15:40 12s
November 12, 2024 15:40 12s
Fix 5724 compile suffix main arguments Build DafnyRef.pdf #18743: Pull request #5910 synchronize by keyboardDrummer
November 12, 2024 15:40 3m 28s fix-5724-compile-suffix-main-arguments
fix-5724-compile-suffix-main-arguments
November 12, 2024 15:40 3m 28s
Fix 5724 compile suffix main arguments Build and Test Dafny Runtimes #9050: Pull request #5910 synchronize by keyboardDrummer
November 12, 2024 15:40 5m 54s fix-5724-compile-suffix-main-arguments
fix-5724-compile-suffix-main-arguments
November 12, 2024 15:40 5m 54s
Nightly test and release workflow Nightly test and release workflow #461: Scheduled
November 12, 2024 14:35 1h 51m 41s master
master
November 12, 2024 14:35 1h 51m 41s
Fix concurrency bug in reported file version Build and Test #19512: Pull request #5912 opened by keyboardDrummer
November 12, 2024 11:14 28m 53s keyboardDrummer:fixConcurrencyBugInReportedFileVersion
keyboardDrummer:fixConcurrencyBugInReportedFileVersion
November 12, 2024 11:14 28m 53s
Fix concurrency bug in reported file version Build and Test Dafny Standard Libraries #3778: Pull request #5912 opened by keyboardDrummer
November 12, 2024 11:14 21m 3s keyboardDrummer:fixConcurrencyBugInReportedFileVersion
keyboardDrummer:fixConcurrencyBugInReportedFileVersion
November 12, 2024 11:14 21m 3s
Fix concurrency bug in reported file version Build DafnyRef.pdf #18742: Pull request #5912 opened by keyboardDrummer
November 12, 2024 11:14 2m 36s keyboardDrummer:fixConcurrencyBugInReportedFileVersion
keyboardDrummer:fixConcurrencyBugInReportedFileVersion
November 12, 2024 11:14 2m 36s
Fix concurrency bug in reported file version Build and Test Dafny Runtimes #9049: Pull request #5912 opened by keyboardDrummer
November 12, 2024 11:14 4m 57s keyboardDrummer:fixConcurrencyBugInReportedFileVersion
keyboardDrummer:fixConcurrencyBugInReportedFileVersion
November 12, 2024 11:14 4m 57s
Fix concurrency bug in reported file version Test documentation #10561: Pull request #5912 opened by keyboardDrummer
November 12, 2024 11:14 16m 57s keyboardDrummer:fixConcurrencyBugInReportedFileVersion
keyboardDrummer:fixConcurrencyBugInReportedFileVersion
November 12, 2024 11:14 16m 57s
Fix concurrency bug in reported file version Fuzzing on PR #495: Pull request #5912 opened by keyboardDrummer
November 12, 2024 11:14 11s
November 12, 2024 11:14 11s
Daily soak test workflow Daily soak test workflow #195: Scheduled
November 12, 2024 03:33 13m 11s master
master
November 12, 2024 03:33 13m 11s
docs: fix broken link to newtypes section (#5908) Deploy Jekyll site to Pages #382: Commit e7a9db1 pushed by alex-chew
November 12, 2024 02:29 42s master
master
November 12, 2024 02:29 42s
docs: fix broken link to newtypes section Updating CompFuzzCI on PR Closed #98: Pull request #5908 closed by alex-chew
November 12, 2024 02:29 12s alexchew/docs-fix-newtypes-link
alexchew/docs-fix-newtypes-link
November 12, 2024 02:29 12s
Chore: Detection of why flaky test ProjectManagerDatabaseTest.cs Fuzzing on PR #494: Pull request #5911 opened by MikaelMayer
November 11, 2024 23:27 19s
November 11, 2024 23:27 19s
Chore: Detection of why flaky test ProjectManagerDatabaseTest.cs Build and Test Dafny Runtimes #9048: Pull request #5911 opened by MikaelMayer
November 11, 2024 23:27 4m 45s MikaelMayer-patch-2
MikaelMayer-patch-2
November 11, 2024 23:27 4m 45s
Chore: Detection of why flaky test ProjectManagerDatabaseTest.cs Test documentation #10560: Pull request #5911 opened by MikaelMayer
November 11, 2024 23:27 16m 50s MikaelMayer-patch-2
MikaelMayer-patch-2
November 11, 2024 23:27 16m 50s